The Keisler–Shelah theorem for \mathsf{QmbC} through semantical atomization

DOI10.1093/JIGPAL/JZY067MaRDI QIDQ3386903zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 8 January 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzy067

zbMATH Keywords

logics of formal inconsistency\(\mathsf{QmbC} \) model theoryKeisler-Shelah theoremŁos' theorem

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Ultraproducts and related constructions (03C20)

Recommendations

• Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization
• scientific article; zbMATH DE number 1293523
• scientific article; zbMATH DE number 18129
• Quantifier elimination theory and maps which preserve semipositivity
• A Kripke semantics for the logic of Gelfand quantales
• Semilattices global valuations in the topos approach to quantum mechanics
• scientific article; zbMATH DE number 5295711
• Notes on quantum logics and involutive bounded posets
• scientific article; zbMATH DE number 63735
• A completeness theorem of quantum set theory

Cited in

(1)

• Fraïssé's theorem for logics of formal inconsistency

This page was built for publication: The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization

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