Anti-intuitionism and paraconsistency

DOI10.1016/j.jal.2004.07.016zbMath1067.03033DBLPjournals/japll/BrunnerC05OpenAlexW2004192224WikidataQ55879204 ScholiaQ55879204MaRDI QIDQ1775870

Andreas B. M. Brunner, Walter Alexandre Carnielli

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

ParaconsistencyIntuitionismAnti-intuitionismDual-intuitionistic logicsDualizing logicsParacompleteness

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Intermediate logics (03B55)

Related Items (15)

Generalized correspondence analysis for three-valued logics ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ First-order da Costa logic ⋮ Partial and paraconsistent three-valued logics ⋮ Real analysis in paraconsistent logic ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ Extensions of Priest-da Costa logic ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Constructive negation, implication, and co-implication ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Structuring co-constructive logic for proofs and refutations

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

This page was built for publication: Anti-intuitionism and paraconsistency