The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
From MaRDI portal
Publication:6043014
DOI10.18778/0138-0680.2021.08zbMath1529.03165OpenAlexW3171015395MaRDI QIDQ6043014
Publication date: 4 May 2023
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.2021.08
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tolerant, classical, strict
- A general characterization of the variable-sharing property by means of logical matrices
- Tolerance and mixed consequence in the S'valuationist setting
- Residuated lattices. An algebraic glimpse at substructural logics
- Proof theory. 2nd ed
- A simple sequent calculus for Angell's logic of analytic containment
- Intuitive semantics for first-degree entailments and `coupled trees'
- Classical logic and the strict tolerant hierarchy
- Simple hyperintensional belief revision
- Meaningless divisions
- Proof theory of paraconsistent weak Kleene logic
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- A hierarchy of classical and paraconsistent logics
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
- ST, LP and Tolerant Metainferences
- Outline of a Theory of Truth
- Variable Sharing in Substructural Logics: an Algebraic Characterization
- The Strict/Tolerant Idea and Bilattices
- A modal restriction of R-Mingle with the variable-sharing property
- Priest’s Motorbike and Tolerant Identity
- Some remarks on the consequence operation in sentential logics
