1 problem

0 votes0 replies0 views
The impossibility of traditionally axiomatizing the parallel-connective fragment of computability logic
Axiomatization impossibility conjecture. It is impossible, in principle, to axiomatize the full ${\neg,wedge,vee,sqcap,sqcup}$ -fragment of CoL within the framework of traditional p…
Conjectureopencomputability-logic logical-calculi proof-theoryarXiv posted 2 days ago

The impossibility of traditionally axiomatizing the parallel-connective fragment of computability logic