Pages that link to "Item:Q1775870"
From MaRDI portal
The following pages link to Anti-intuitionism and paraconsistency (Q1775870):
Displaying 18 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- First-order da Costa logic (Q631523) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Uninorms and Non-contradiction (Q3540940) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Undecidability in Anti-Realism (Q4224762) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms (Q5082344) (← links)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (Q5241518) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)
- Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции (Q6075510) (← links)
