scientific article; zbMATH DE number 3327279
From MaRDI portal
Publication:5605873
zbMATH Open0206.00502MaRDI QIDQ5605873FDOQ5605873
Publication date: 1968
Title of this publication is not available (Why is that?)
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Other constructive mathematics (03F65) Other infinitary logic (03C75) Second- and higher-order arithmetic and fragments (03F35) Constructive and recursive analysis (03F60) Set theory (03E99)
Cited In (33)
- Incomplete symbols -- definite descriptions revisited
- A note on cut-elimination for classical propositional logic
- Cut elimination by unthreading
- Circular proofs for the Gödel-Löb provability logic
- Universes over Frege structures
- Deduction chains for common knowledge
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- Complementary proof nets for classical logic
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Notational variance and its variants
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
- On the form of witness terms
- Geometric Rules in Infinitary Logic
- Title not available (Why is that?)
- Cut-elimination: syntax and semantics
- Proofs and surfaces
- Elementary descent recursion and proof theory
- Towards a clausal analysis of cut-elimination
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
- A minimal classical sequent calculus free of structural rules
- On the computational complexity of cut-reduction
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Linear Logic Properly Displayed
- Sufficient conditions for cut elimination with complexity analysis
- An independence result for \((\Pi^ 1_ 1-CA)+BI\)
- On the proof theory of infinitary modal logic
- Circular (Yet Sound) Proofs in Propositional Logic
- Dual systems of tableaux and sequents for PLTL
- A constructive consistency proof of a fragment of set theory
- A survey of nonstandard sequent calculi
- Effectiveness and provability
- Cut-elimination and redundancy-elimination by resolution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5605873)
