ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
From MaRDI portal
Publication:2940892
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
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
