Paraconsistent and paracomplete basic logics without classical negation and some of their extensions

MaRDI QIDQ3067416zbMATH OpenFDO

Authors Manuel Sierra A.

Publication date 21 January 2011

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 912317
• scientific article; zbMATH DE number 4019026
• The basic constructive logic for negation-consistency
• scientific article; zbMATH DE number 4016862
• Proof systems combining classical and paraconsistent negations

Cited in

(13)

• Proof systems combining classical and paraconsistent negations
• Paraconsistent double negations as classical and intuitionistic negations
• Some new results on PCL1 and its related systems
• scientific article; zbMATH DE number 4019026 (Why is no real title available?)
• Basic logic with strong affirmation
• Semantic forcing trees for basic logic with alternate affirmation and negation
• scientific article; zbMATH DE number 3875243 (Why is no real title available?)
• Oppositional logic
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• scientific article; zbMATH DE number 912317 (Why is no real title available?)
• Classical negation and expansions of Belnap-Dunn logic
• Weakening and extending \(\mathbb{Z}\)
• Implication, Equivalence, and Negation

This page was built for publication: Paraconsistent and paracomplete basic logics without classical negation and some of their extensions

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