scientific article; zbMATH DE number 823606

MaRDI QIDQ4856962zbMATH OpenFDO

Authors Igor Urbas, Richard Sylvan

Publication date 22 April 1996

zbMATH Keywords

Arruda-da Costa logicHiż's logicparaconsistent reformulations of classical propositional logicSchütte's system

Mathematics Subject Classification ID

Classical propositional logic (03B05) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 4091467
• Paraconsistency in classical logic
• scientific article; zbMATH DE number 2109240
• From logics of formal inconsistency to logics of formal classicality
• scientific article; zbMATH DE number 2019860

Cited in

(15)

• Paraconsistency in classical logic
• Paraconsistent logic
• Some new results on PCL1 and its related systems
• scientific article; zbMATH DE number 5997427 (Why is no real title available?)
• scientific article; zbMATH DE number 3882407 (Why is no real title available?)
• Priest on negation
• scientific article; zbMATH DE number 4091467 (Why is no real title available?)
• Paraconsistent Logical Consequence
• scientific article; zbMATH DE number 605207 (Why is no real title available?)
• scientific article; zbMATH DE number 1735936 (Why is no real title available?)
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• scientific article; zbMATH DE number 859800 (Why is no real title available?)
• Sub-classical Boolean Bunched Logics and the Meaning of Par
• Liberating paraconsistency from contradiction

This page was built for publication:

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