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

DOI10.1017/S1755020319000595MaRDI QIDQ5001546zbMATH OpenFDO

Authors 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

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

Recommendations

• Paraconsistent logic and model theory
• scientific article; zbMATH DE number 3954877
• First-order swap structures semantics for some logics of formal inconsistency
• An alternative approach for quasi-truth
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency

Cites work

• scientific article; zbMATH DE number 3954877 (Why is no real title available?)
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 536898 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• An alternative approach for quasi-truth
• Aspects of Paraconsistent Logic
• Definability and quantifier elimination for \(J_ 3\)-theories
• Formal inconsistency and evolutionary databases
• Lattices With Involution
• Logics of formal inconsistency
• Non-deterministic algebraization of logics by swap structures
• Notes on \(\eta\)-lattices and constructive logic with strong 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
• Paraconsistent logic: consistency, contradiction and negation
• Pragmatic truth and approximation to truth
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The logic of paradox

Cited in

(3)

• Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
• A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
• Proof-theoretic aspects of paraconsistency with strong consistency operator

This page was built for publication: SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE

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