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