Recommendations
Cites work
- scientific article; zbMATH DE number 3606427 (Why is no real title available?)
- scientific article; zbMATH DE number 1554144 (Why is no real title available?)
- scientific article; zbMATH DE number 782632 (Why is no real title available?)
- A note on Priest's finite inconsistent arithmetics
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
- An introduction to non-classical logic. From if to is
- Inconsistent models of arithmetic. I: Finite models
- Inconsistent models of arithmetic. II: The general case
- Minimally inconsistent LP
- Saving truth from paradox
- The use of ultraproducts in commutative algebra
Cited in
(6)- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
- Dunn-Priest quotients of many-valued structures
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Some topological properties of paraconsistent models
- On elimination of quantifiers in some non-classical mathematical theories
- Variations on the collapsing lemma
This page was built for publication: Notes on the model theory of DeMorgan logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424585)
