Variations on the collapsing lemma

DOI10.1007/978-3-030-25365-3_13MaRDI QIDQ3305667zbMATH OpenOpenAlexFDO

Authors 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) Paraconsistent logics (03B53) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• On Priest's logic of paradox
• Conjunction in paraconsistent weak Kleene logic
• scientific article; zbMATH DE number 1735935
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC

Cites work

• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 2101974 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3392404 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• A calculus of antinomics
• A lattice of implicative extensions of regular Kleene's logics
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• An expansion of first-order Belnap-Dunn logic
• Characterizing logical consequence in paraconsistent weak Kleene
• Classical negation and expansions of Belnap-Dunn logic
• Completeness via correspondence for extensions of the logic of paradox
• Conjunction in paraconsistent weak Kleene logic
• Dunn-Priest quotients of many-valued structures
• Formal inconsistency and evolutionary databases
• Inconsistent models of arithmetic. I: Finite models
• Inconsistent models of arithmetic. II: The general case
• Logic of antinomies
• Logics of formal inconsistency
• Minimally inconsistent LP
• Natural implication and modus ponens principle
• Nearly every normal modal logic is paranormal
• Notes on the model theory of DeMorgan logics
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On non-deterministic quantification
• On the theory of inconsistent formal systems
• Plurivalent logics
• Remarks on naive set theory based on \(\mathbf{LP}\)
• The logic of paradox

Cited in

(5)

• A generalization of collapsible cases of circumscription
• Normality operators and classical collapse
• Dunn-Priest quotients of many-valued structures
• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• On collapsibilities of Yule's measure

This page was built for publication: Variations on the collapsing lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305667)