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

DOI10.1093/JIGPAL/JZY073MaRDI QIDQ3386912zbMATH OpenOpenAlexFDO

Authors Bruno Mendonça, Walter Carnielli

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/jzy073

zbMATH Keywords

back and forth equivalenceFraïssé's theoremlogics of formal inconsistencymodel theoryparaconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization
• On the philosophy and mathematics of the logics of formal inconsistency
• scientific article; zbMATH DE number 5872190
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency

Cited in

(5)

• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• A model-theoretic analysis of Fidel-structures for mbC
• First-order swap structures semantics for some logics of formal inconsistency
• Inconsistency lemmas in algebraic logic
• Logics of formal inconsistency and mathematical definability

This page was built for publication: Fraïssé's theorem for logics of formal inconsistency

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