Notes on the model theory of DeMorgan logics

DOI10.1215/00294527-1626554zbMath1254.03047OpenAlexW2031392871MaRDI QIDQ424585

Thomas Macaulay Ferguson

Publication date: 1 June 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336586241

zbMATH Keywords

model theorymany-valued logicultraproducts

Mathematics Subject Classification ID

Many-valued logic (03B50) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (5)

On elimination of quantifiers in some non‐classical mathematical theories ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Some topological properties of paraconsistent models ⋮ Variations on the Collapsing Lemma ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

Cites Work

• The use of ultraproducts in commutative algebra
• Minimally inconsistent LP
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Inconsistent models of arithmetic. I: Finite models
• A note on Priest's finite inconsistent arithmetics
• Inconsistent models of arithmetic Part II: the general case
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Notes on the model theory of DeMorgan logics