Logical Weak Completions of Paraconsistent Logics

DOI10.1093/LOGCOM/EXN015MaRDI QIDQ3549315zbMATH OpenOpenAlexFDO

Authors Mauricio Osorio Galindo, José Ramón Enrique Arrazola Ramírez, José Luis Carballido

Publication date 22 December 2008

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

Full work available at URL https://doi.org/10.1093/logcom/exn015

zbMATH Keywords

modal logicsstable semanticsparaconsistent logicsnonmonotonic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Extensions of paraconsistent weak Kleene logic
• Logics with Common Weak Completions
• Proof theory of paraconsistent weak Kleene logic
• scientific article; zbMATH DE number 26755
• scientific article; zbMATH DE number 877753
• On partial and paraconsistent logics
• scientific article; zbMATH DE number 63609
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• scientific article; zbMATH DE number 1269574
• Conjunction in paraconsistent weak Kleene logic

Cited in

(14)

• Semi-equilibrium models for paracoherent answer set programs
• Logics with Common Weak Completions
• Equivalence for the G₃^-stable models semantics
• Paracoherent answer set semantics meets argumentation frameworks
• Better paracoherent answer sets with less resources
• Paracoherent answer set computation
• Revisiting da Costa logic
• Modular paracoherent answer sets
• On paraconsistent extensions of C₁
• Countably many weakenings of Belnap-Dunn logic
• Quasi-classical reasoning in paraconsistent databases
• Logic Programming and Nonmonotonic Reasoning
• Revisiting \(\mathbb Z\)
• scientific article; zbMATH DE number 7695589 (Why is no real title available?)

This page was built for publication: Logical Weak Completions of Paraconsistent Logics

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