Cites work
- A judgmental reconstruction of modal logic
- A more general general proof theory
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Bilateralism in proof-theoretic semantics
- Bilateralist detours: from intuitionist to classical logic and back
- General-elimination harmony and the meaning of the logical constants
- scientific article; zbMATH DE number 3961579 (Why is no real title available?)
- scientific article; zbMATH DE number 3630747 (Why is no real title available?)
- scientific article; zbMATH DE number 7599931 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 7594147 (Why is no real title available?)
- scientific article; zbMATH DE number 7714889 (Why is no real title available?)
- Inversion principles and introduction rules
- Natural deduction with general elimination rules
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
- On an intuitionistic modal logic
- Proof and falsity. A logical investigation
- Sequent-systems for modal logic
- Some comments on Ian Rumfitt's bilateralism
- Structural proof theory. With an appendix by Aarne Ranta
- Subformula and separation properties in natural deduction via small Kripke models
- The revival of rejective negation
- Untersuchungen über das logische Schließen. II.
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)
