The following pages link to Advances in Proof Theory (Q3305549):
Displayed 13 items.
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- About Truth and Types (Q3305551) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- Pointwise Transfinite Induction and a Miniaturized Predicativity (Q3305563) (← links)