Bilateral inversion principles
From MaRDI portal
Publication:6659909
DOI10.4204/EPTCS.358.15MaRDI QIDQ6659909FDOQ6659909
Authors: Nils Kürbis 
Publication date: 9 January 2025
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- On an intuitionistic modal logic
- A judgmental reconstruction of modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- General-elimination harmony and the meaning of the logical constants
- Natural deduction with general elimination rules
- The revival of rejective negation
- Bilateralism in proof-theoretic semantics
- Inversion Principles and Introduction Rules
- Sequent-systems for modal logic
- A more general general proof theory
- Subformula and separation properties in natural deduction via small Kripke models
- Title not available (Why is that?)
- Some comments on Ian Rumfitt's bilateralism
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Title not available (Why is that?)
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Untersuchungen über das logische Schließen. II.
- Proof and Falsity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
Cited In (1)
This page was built for publication: Bilateral inversion principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659909)
