Variations on the Collapsing Lemma

DOI10.1007/978-3-030-25365-3_13zbMath1469.03076OpenAlexW2998537958MaRDI QIDQ3305667

Thomas Macaulay Ferguson

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_13

zbMATH Keywords

model theorylogic of paradoxcollapsing lemma

Mathematics Subject Classification ID

Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53)

Cites Work

• Notes on the model theory of DeMorgan logics
• Classical negation and expansions of Belnap-Dunn logic
• Minimally inconsistent LP
• The logic of paradox
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Inconsistent models of arithmetic. I: Finite models
• On non-deterministic quantification
• Dunn-Priest quotients of many-valued structures
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Logic of antinomies
• Inconsistent models of arithmetic Part II: the general case
• Formal inconsistency and evolutionary databases
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Logics of Formal Inconsistency
• An expansion of first-order Belnap-Dunn logic
• REMARKS ON NAIVE SET THEORY BASED ONLP
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Variations on the Collapsing Lemma