Notes on the model theory of DeMorgan logics

DOI10.1215/00294527-1626554zbMATH Open1254.03047OpenAlexW2031392871MaRDI QIDQ424585FDOQ424585

Authors: 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

Recommendations

• De Morgan's law and the theory of fields
• scientific article; zbMATH DE number 426294
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• scientific article; zbMATH DE number 3948232
• De Morgan classifying toposes

zbMATH Keywords

many-valued logicmodel theoryultraproducts

Mathematics Subject Classification ID

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

Cites Work

• Saving truth from paradox
• An introduction to non-classical logic. From if to is
• Title not available (Why is that?)
• The use of ultraproducts in commutative algebra
• Minimally inconsistent LP
• Title not available (Why is that?)
• 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. II: The general case
• Title not available (Why is that?)

Cited In (6)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• On elimination of quantifiers in some non-classical mathematical theories
• Variations on the collapsing lemma
• Dunn-Priest quotients of many-valued structures
• Some topological properties of paraconsistent models
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

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)