Anti-intuitionism and paraconsistency

DOI10.1016/j.jal.2004.07.016zbMath1067.03033WikidataQ55879204 ScholiaQ55879204MaRDI QIDQ1775870

Walter Alexandre Carnielli, Andreas B. M. Brunner

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.016

zbMATH Keywords

Paraconsistency; Intuitionism; Anti-intuitionism; Dual-intuitionistic logics; Dualizing logics; Paracompleteness

Mathematics Subject Classification ID

03B50: Many-valued logic

03B53: Paraconsistent logics

03B55: Intermediate logics

Related Items

First-order da Costa logic, Constructive negation, implication, and co-implication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Limits for paraconsistent calculi
• Simple consequence relations
• A formal system for the non-theorems of the propositional calculus
• Applications of Kripke models to Heyting-Brouwer logic
• Dual-intuitionistic logic
• The theory of rejected propositions. II
• Maximal weakly-intuitionistic logics
• On the theory of inconsistent formal systems
• A propositional calculus with denumerable matrix
• Combining Valuations with Society Semantics
• The Logic of Contradiction
• Natural 3-valued logics—characterization and proof theory