On the Propagation of Consistency in Some Systems of Paraconsistent Logic

DOI10.1007/978-94-017-9011-6_8zbMath1436.03164OpenAlexW19812487MaRDI QIDQ3295789

Toshiharu Waragai, Hitoshi Omori

Publication date: 13 July 2020

Published in: Logic, Argumentation & Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-017-9011-6_8

zbMATH Keywords

paraconsistent logiclogics of formal inconsistencypropagation of consistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (1)

From Paraconsistent Logic to Dialetheic Logic

Cites Work

• A completeness-proof method for extensions of the implicational fragment of the propositional calculus
• On the theory of inconsistent formal systems
• Some new results on PCL1 and its related systems
• Logics of Formal Inconsistency
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Propagation of Consistency in Some Systems of Paraconsistent Logic