Systems for non-reflexive consequence
From MaRDI portal
Publication:6067744
DOI10.1007/s11225-023-10049-2OpenAlexW4385725283MaRDI QIDQ6067744
Publication date: 17 November 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-023-10049-2
Cut-elimination and normal-form theorems (03F05) Philosophical aspects of logic and foundations (03A99)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logics of strict-tolerant logic
- Tolerant, classical, strict
- Logical consequence and the paradoxes
- Non-classical elegance for sequent calculus enthusiasts
- Principles for object-linguistic consequence: from logical to irreflexive
- Proof theory. The first step into impredicativity
- Kripke and the logic of truth
- Elementary induction on abstract structures
- The undecidability of Grišin's set theory
- Logic without contraction as based on inclusion and unrestricted abstraction
- Contraction, infinitary quantifiers, and omega paradoxes
- Structural weakening and paradoxes
- Cut elimination for systems of transparent truth with restricted initial sequents
- Sequent-calculi for metainferential logics
- On structural contraction and why it fails
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
- NAIVE SET THEORY AND NONTRANSITIVE LOGIC
- TRUTH WITHOUT CONTRA(DI)CTION
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
- Toward useful type-free theories. I
- PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
- Reflecting on incompleteness
- Freeing assumptions from the Liar paradox
- Outline of a Theory of Truth
- Metainferential duality
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- THE POWER OF NAIVE TRUTH
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
- Axiomatizing Kripke's theory of truth
- (I can't get no) antisatisfaction
This page was built for publication: Systems for non-reflexive consequence
