On the system CB1 and a lattice of the paraconsistent calculi

DOI10.12775/LLP.2019.035zbMath1478.03053MaRDI QIDQ5006825

Janusz Ciuciura

Publication date: 17 August 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

paraconsistencyparaconsistent logichierarchy of the paraconsistent calculi

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (1)

Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

Cites Work

• Limits for paraconsistent calculi
• Completeness theory for propositional logics
• Paraconsistent logic: consistency, contradiction and negation
• On the theory of inconsistent formal systems
• Logic of antinomies
• Paraconsistency and Sette’s calculus P1
• A propositional calculus for inconsistent deductive systems
• Logics of Formal Inconsistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the system CB1 and a lattice of the paraconsistent calculi