(I can't get no) antisatisfaction

DOI10.1007/s11229-020-02570-xzbMath1525.03078OpenAlexW3008195930MaRDI QIDQ6088588

Pablo Cobreros, Luca Tranchini, Elio La Rosa

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/COBA-4

zbMATH Keywords

non-reflexive logicnon-transitive logicstrong Kleenesubstructural approaches to paradox

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Systems for non-reflexive consequence ⋮ Metainferential duality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• Non-classical elegance for sequent calculus enthusiasts
• Principles for object-linguistic consequence: from logical to irreflexive
• Inferences and metainferences in \(\mathsf{ST}\)
• A model of tolerance
• Logic without contraction as based on inclusion and unrestricted abstraction
• Structural weakening and paradoxes
• Classical logic and the strict tolerant hierarchy
• Noncontractive classical logic
• A hierarchy of classical and paraconsistent logics
• TRUTH WITHOUT CONTRA(DI)CTION
• ST, LP and Tolerant Metainferences