The following pages link to (Q5605873):
Displayed 33 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- On the computational complexity of cut-reduction (Q636310) (← links)
- A minimal classical sequent calculus free of structural rules (Q636359) (← links)
- On the form of witness terms (Q982183) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- A constructive consistency proof of a fragment of set theory (Q1080422) (← links)
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- Elementary descent recursion and proof theory (Q1344279) (← links)
- Universes over Frege structures (Q1861539) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- A note on cut-elimination for classical propositional logic (Q2144620) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
- Effectiveness and provability (Q4318898) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- (Q5646883) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
- Circular (Yet Sound) Proofs in Propositional Logic (Q6116357) (← links)
- Cut elimination by unthreading (Q6139240) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)