On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency

DOI10.1017/S1755020314000148MaRDI QIDQ2940892zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Rodrigo Podiacki, Tarcísio Rodrigues, Walter Carnielli

Publication date 21 January 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020314000148

zbMATH Keywords

completenesslogics of formal inconsistencyparaconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Fraïssé's theorem for logics of formal inconsistency
• On the philosophy and mathematics of the logics of formal inconsistency
• Paraconsistent logic and model theory
• scientific article; zbMATH DE number 5244180

Cites work

• A semantical analysis of the calculi \(C_n\)
• An alternative approach for quasi-truth
• Definability and quantifier elimination for \(J_ 3\)-theories
• Handbook of philosophical logic. Vol. 14
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Methods in mathematical logic. Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
• Non-deterministic Multiple-valued Structures
• On the theory of inconsistent formal systems
• Paraconsistent logic and model theory
• Pragmatic truth and approximation to truth

Cited in

(9)

• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A model-theoretic analysis of Fidel-structures for mbC
• SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
• Fraïssé's theorem for logics of formal inconsistency
• Paraconsistent metatheory: new proofs with old tools
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
• Valuation semantics for first-order logics of evidence and truth
• On the philosophy and mathematics of the logics of formal inconsistency
• First-order logics of evidence and truth with constant and variable domains

This page was built for publication: On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency

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