Variations on the collapsing lemma
From MaRDI portal
Recommendations
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)
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)