First-order swap structures semantics for some logics of formal inconsistency

DOI10.1093/LOGCOM/EXAA027MaRDI QIDQ5140311zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio

Publication date 15 December 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

logics of formal inconsistencyparaconsistent logicsfirst-order logicsnon-deterministic matricestwist structuresswap structures

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Non-deterministic algebraization of logics by swap structures
• SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
• Fraïssé's theorem for logics of formal inconsistency

Cited in

(5)

• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
• First-order swap structures semantics for some Logics of Formal Inconsistency
• A new completeness proof at the propositional level for mbC and some of its extensions
• Twist-valued models for three-valued paraconsistent set theory

This page was built for publication: First-order swap structures semantics for some logics of formal inconsistency

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