The following pages link to (Q3543573):
Displayed 40 items.
- Paraconsistent logic (Q266659) (← links)
- The simple consistency of naive set theory using metavaluations (Q484104) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Inconsistent boundaries (Q514098) (← links)
- Free semantics (Q600848) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- Adaptive Fregean set theory (Q831216) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Paradoxes of logical equivalence and identity (Q1708467) (← links)
- A new conditional for naive truth theory (Q1934956) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Depth relevance and hyperformalism (Q2155937) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Instability and contraction. \textit{Méditations hégéliennes}. I (Q2420717) (← links)
- Classical logic is not uniquely characterizable (Q2679579) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Non-Boolean classical relevant logics. I (Q2695399) (← links)
- Comparing Contents with Information (Q3305425) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- The Number of Logical Values (Q3305657) (← links)
- The Difficulties in Using Weak Relevant Logics for Naive Set Theory (Q3305672) (← links)
- METAVALUATIONS (Q4602434) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Devising the set of abnormalities for a given defeasible rule (Q5061407) (← links)
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH (Q5099781) (← links)
- Paraconsistent Computation and Dialetheic Machines (Q5213766) (← links)
- Logic—The Big Picture (Q5241533) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- Lindenbaum-type logical structures (Q6043098) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)