scientific article; zbMATH DE number 3327279
From MaRDI portal
Publication:5605873
Cited in
(33)- An independence result for \((\Pi^ 1_ 1-CA)+BI\)
- Notational variance and its variants
- On the proof theory of infinitary modal logic
- A survey of nonstandard sequent calculi
- Effectiveness and provability
- Dual systems of tableaux and sequents for PLTL
- Circular (Yet Sound) Proofs in Propositional Logic
- On the form of witness terms
- Cut-elimination and redundancy-elimination by resolution
- Geometric Rules in Infinitary Logic
- Universes over Frege structures
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- Towards a clausal analysis of cut-elimination
- Deduction chains for common knowledge
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
- Complementary proof nets for classical logic
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- scientific article; zbMATH DE number 3375475 (Why is no real title available?)
- Incomplete symbols -- definite descriptions revisited
- Cut-elimination: syntax and semantics
- Proofs and surfaces
- Elementary descent recursion and proof theory
- A note on cut-elimination for classical propositional logic
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- Cut elimination by unthreading
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Sufficient conditions for cut elimination with complexity analysis
- Circular proofs for the Gödel-Löb provability logic
- Some remarks on the proof-theory and the semantics of infinitary modal logic
- A constructive consistency proof of a fragment of set theory
- Linear Logic Properly Displayed
- A minimal classical sequent calculus free of structural rules
- On the computational complexity of cut-reduction
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)
