Anti-intuitionism and paraconsistency

DOI10.1016/J.JAL.2004.07.016zbMATH Open1067.03033DBLPjournals/japll/BrunnerC05OpenAlexW2004192224WikidataQ55879204 ScholiaQ55879204MaRDI QIDQ1775870

Walter 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

ParaconsistencyIntuitionismAnti-intuitionismDual-intuitionistic logicsDualizing logicsParacompleteness

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (17)

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

Recommendations

• Paraconsistent logic: consistency, contradiction and negation 👍 👎
• Paraconsistent logic 👍 👎
• Aspects of Paraconsistent Logic 👍 👎
• Intuitionism and the liar paradox 👍 👎
• Paraconsistency in classical logic 👍 👎
• Intuitionism and the Anti-Justification of Bivalence 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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