A model-theoretic analysis of Fidel-structures for mbC

DOI10.1007/978-3-030-25365-3_10MaRDI QIDQ3305664zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Aldo Figallo Orellano

Publication date 10 August 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://philpapers.org/rec/ECOAMA

zbMATH Keywords

Birkhoff decomposition theoremFidel structureslogics of formal inconsistencymodel theoryparaconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Equational classes, universal algebra in model theory (03C05) Lattices of varieties (08B15) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• An alternative definition of \(F\)-structures for the logic \(C_{1}\)
• Paraconsistent logic and model theory
• Fraïssé's theorem for logics of formal inconsistency
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems

Cites work

• A note on naive set theory in LP
• A propositional calculus for inconsistent deductive systems
• A semantical analysis of the calculi \(C_n\)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraizable logics
• scientific article; zbMATH DE number 3722719 (Why is no real title available?)
• scientific article; zbMATH DE number 3536050 (Why is no real title available?)
• scientific article; zbMATH DE number 3588632 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Logics of formal inconsistency
• Non-deterministic semantics for logics with a consistency operator
• None of the above: the catuṣkoṭi in Indian Buddhist logic
• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• Paraconsistent logic: consistency, contradiction and negation
• Plurivalent logics
• Remarks on naive set theory based on \(\mathbf{LP}\)
• Subdirect unions in universal algebra
• The logic of paradox
• The many valued and nonmonotonic turn in logic
• Transfinite numbers in paraconsistent set theory

Cited in

(2)

• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• An alternative definition of \(F\)-structures for the logic \(C_{1}\)

This page was built for publication: A model-theoretic analysis of Fidel-structures for mbC

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