ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY

DOI10.1017/S1755020314000148zbMath1337.03035OpenAlexW1967451645MaRDI QIDQ2940892

Rodrigo Podiacki, Marcelo E. Coniglio, Tarcísio Rodrigues, Walter Alexandre 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)

Related Items (7)

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE

Cites Work

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

This page was built for publication: ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY