The following pages link to (Q3701398):
Displaying 50 items.
- Naive structure, contraction and paradox (Q1708466) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Aristotle's Thesis between paraconsistency and modalization (Q1775867) (← links)
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment (Q1815416) (← links)
- A relevant theory of conditionals (Q1908790) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← 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)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Observations on the trivial world (Q2051134) (← links)
- Variable sharing in connexive logic (Q2056220) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Logics of synonymy (Q2194116) (← 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)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (Q2254554) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Models for relevant modal logics (Q2277439) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Converse Ackermann property and semiclassical negation (Q2641293) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- One step is enough (Q2679573) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Non-Boolean classical relevant logics. I (Q2695399) (← 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)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Comparing Contents with Information (Q3305425) (← links)
- The Number of Logical Values (Q3305657) (← links)
- Humble Connexivity (Q3387891) (← links)
- Negation introduced with the unary connective (Q3400792) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Relevance logics and intuitionistic negation (Q3647286) (← links)
