Dunn-Priest quotients of many-valued structures

DOI10.1215/00294527-3838853zbMATH Open1417.03178OpenAlexW2590652874MaRDI QIDQ2364650FDOQ2364650

Authors: Thomas Macaulay Ferguson 

Publication date: 21 July 2017

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

Full work available at URL: https://doi.org/10.1215/00294527-3838853

Recommendations

• Variations on the collapsing lemma
• scientific article; zbMATH DE number 2072502
• Notes on the model theory of DeMorgan logics
• Generalizing functional completeness in Belnap-Dunn logic
• Model-theoretic constructions in fuzzy logic with evaluated syntax

zbMATH Keywords

many-valued logicmodel theoryDunn-Priest techniques

Mathematics Subject Classification ID

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

Cited In (2)

• Variations on the collapsing lemma
• Inconsistent models (and infinite models) for arithmetics with constructible falsity

This page was built for publication: Dunn-Priest quotients of many-valued structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364650)