The following pages link to (Q4961804):
Displayed 30 items.
- Current trends in substructural logics (Q266641) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Some metacomplete relevant modal logics (Q383574) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY (Q3550706) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Logic—The Big Picture (Q5241533) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
- Normalized natural deduction systems for some relevant logics I: The logic DW (Q5477623) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B (Q6162077) (← links)