Dunn-Priest quotients of many-valued structures

DOI10.1215/00294527-3838853MaRDI QIDQ2364650zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(2)

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

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)