The following pages link to (Q4841568):
Displaying 32 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Paraconsistent logic (Q266659) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Structures and logics: a case for (a) relativism (Q488378) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- Dirac and the dispensability of mathematics (Q640221) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- Paraconsistency in categories: case of relevance logic (Q763325) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Peeking at the impossible (Q1276419) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- The Leibniz continuity condition, inconsistency and quantum dynamics (Q1368752) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Chunk and permeate. III: The Dirac delta function (Q2263044) (← links)
- Inconsistency in mathematics and the mathematics of inconsistency (Q2263045) (← links)
- Inconsistent models of arithmetic Part II: the general case (Q2710594) (← links)
- Wedge Sum, Merge and Inconsistency (Q3305419) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- Prospects for Triviality (Q5213757) (← links)
- Paraconsistent Computation and Dialetheic Machines (Q5213766) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS (Q5414141) (← links)
- From the Foundations of Mathematics to Mathematical Pluralism (Q6075434) (← links)
- Does Mathematics Need Foundations? (Q6075435) (← links)
- Does logical pluralism imply, or suggest, truth pluralism, or vice versa? (Q6088953) (← links)
- A note on mathematical pluralism and logical pluralism (Q6088954) (← links)
- Connexive negation (Q6127198) (← links)