Anti-intuitionism and paraconsistency
From MaRDI portal
Publication:1775870
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)