Variations on the Collapsing Lemma
From MaRDI portal
Publication:3305667
DOI10.1007/978-3-030-25365-3_13zbMath1469.03076OpenAlexW2998537958MaRDI QIDQ3305667
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
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