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