Pages that link to "Item:Q3703869"
From MaRDI portal
The following pages link to The undecidability of entailment and relevant implication (Q3703869):
Displayed 50 items.
- Current trends in substructural logics (Q266641) (← links)
- What is relevance logic? (Q392272) (← links)
- Failure of interpolation in relevant logics (Q689074) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- A note on the decidability of a strong relevant logic (Q1066881) (← links)
- The semantics and proof theory of linear logic (Q1106836) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- Paraconsistent fuzzy logic preserving non-falsity (Q1697334) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- The undecidability of propositional adaptive logic (Q2460176) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- Expanding the Logic of Paradox with a Difference-Making Relevant Implication (Q3305679) (← links)
- Some Comments and Replies (Q3305682) (← links)
- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Ticket Entailment is decidable (Q4925031) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Geometric Models for Relevant Logics (Q5027236) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
- Comments on the Contributions (Q5027252) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540) (← links)
- Relevant reasoning and implicit beliefs (Q6118697) (← links)