On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
From MaRDI portal
Publication:2940892
DOI10.1017/S1755020314000148zbMATH Open1337.03035OpenAlexW1967451645MaRDI QIDQ2940892FDOQ2940892
Rodrigo Podiacki, Marcelo E. Coniglio, Walter Carnielli, Tarcísio Rodrigues
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
Recommendations
Cites Work
- On the theory of inconsistent formal systems
- Non-deterministic Multiple-valued Structures
- A semantical analysis of the calculi \(C_n\)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Handbook of philosophical logic. Vol. 14
- Pragmatic truth and approximation to truth
- Paraconsistent logic and model theory
- Methods in mathematical logic. Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Definability and quantifier elimination for \(J_ 3\)-theories
- An alternative approach for quasi-truth
Cited In (7)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency
- A Model-Theoretic Analysis of Fidel-Structures for mbC
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- Valuation semantics for first-order logics of evidence and truth
- 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)
