SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE

DOI10.1017/S1755020319000595MaRDI QIDQ5001546

Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo

Publication date: 22 July 2021

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

Full work available at URL: https://arxiv.org/abs/1807.05651

zbMATH Keywords

model theorylogics of formal inconsistencyparaconsistent logicsfirst-order logicsthree-valued logics

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Definability and quantifier elimination for \(J_ 3\)-theories
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• The logic of paradox
• Paraconsistent logic: consistency, contradiction and negation
• On the theory of inconsistent formal systems
• ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
• Formal inconsistency and evolutionary databases
• Non-deterministic algebraization of logics by swap structures1
• Pragmatic truth and approximation to truth
• Aspects of Paraconsistent Logic
• Logics of Formal Inconsistency
• An alternative approach for quasi-truth
• Lattices With Involution