Anti-intuitionism and paraconsistency

DOI10.1016/J.JAL.2004.07.016MaRDI QIDQ1775870zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Andreas B. M. Brunner, Walter 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)

Recommendations

• Intuitionism and the liar paradox
• Paraconsistent logic: consistency, contradiction and negation
• Intuitionism and the Anti-Justification of Bivalence
• Paraconsistent logic
• scientific article; zbMATH DE number 4035789
• Aspects of Paraconsistent Logic
• scientific article; zbMATH DE number 16515
• scientific article; zbMATH DE number 1110490
• Paraconsistency in classical logic
• scientific article; zbMATH DE number 1269574

Cites work

• scientific article; zbMATH DE number 5997433 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1361518 (Why is no real title available?)
• scientific article; zbMATH DE number 2196615 (Why is no real title available?)
• scientific article; zbMATH DE number 6296807 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A formal system for the non-theorems of the propositional calculus
• A propositional calculus with denumerable matrix
• Applications of Kripke models to Heyting-Brouwer logic
• Combining valuations with society semantics
• Dual-intuitionistic logic
• Limits for paraconsistent calculi
• Maximal weakly-intuitionistic logics
• Natural 3-valued logics—characterization and proof theory
• On the theory of inconsistent formal systems
• Simple consequence relations
• The Logic of Contradiction
• The theory of rejected propositions. II

Cited in

(19)

• On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
• 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
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Correspondence analysis and automated proof-searching for first degree entailment
• Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
• Partial and paraconsistent three-valued logics
• First-order da Costa logic
• Extensions of Priest-da Costa logic
• Uninorms and Non-contradiction
• First-order anti-intuitionistic logic with apartness
• Undecidability in Anti-Realism
• On the philosophy and mathematics of the logics of formal inconsistency
• Real analysis in paraconsistent logic

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)