The undecidability of entailment and relevant implication
DOI10.2307/2274261zbMATH Open0581.03011OpenAlexW2009732936MaRDI QIDQ3703869FDOQ3703869
Authors: Alasdair Urquhart 
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274261
Recommendations
- The undecidability of iterated modal relativization
- An unsolvable problem concerning implicational calculi.
- Implicational Logic, Relevance, and Refutability
- Publication:4942682
- Undecidable problems for propositional calculi with implication
- The undecidability of the semi-unification problem
- scientific article; zbMATH DE number 1256672
- Semantic paradox and alethic undecidability
- Non-axiomatizability of Grice's implicature
- Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
projective geometrymodular latticesword problemrelevant logicticket entailmentrelevant implicationcoordinatization theoremdistributive lattice ordered commutative semigroups
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Modular lattices, Desarguesian lattices (06C05) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Word problems, etc. in computability and recursion theory (03D40)
Cites Work
Cited In (61)
- Relevance through topical unconnectedness
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
- An algebraic glimpse at bunched implications and separation logic
- Relevant reasoning and implicit beliefs
- What is relevance logic?
- Title not available (Why is that?)
- Failure of interpolation in relevant logics
- Current trends in substructural logics
- Constructive decision via redundancy-free proof-search
- Title not available (Why is that?)
- Displaying and deciding substructural logics. I: Logics with contraposition
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
- Implication of clauses is undecidable
- New consecution calculi for \(R^{t}_{\to}\)
- Paraconsistency and the need for infinite semantics
- Tarskian Classical Relevant Logic
- The semantics and proof theory of linear logic
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Decision problems for distributive lattice-ordered semigroups
- Decision problems for propositional linear logic
- Geometric Models for Relevant Logics
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- \(\mathbf{RM}\) and its nice properties
- Some Comments and Replies
- A conservative negation extension of positive semilattice logic without the finite model property
- Modal Logics of Some Hereditarily Irresolvable Spaces
- The undecidability of propositional adaptive logic
- Four variables suffice
- St. Alasdair on Lattices Everywhere
- Relevance logic: problems open and closed
- Title not available (Why is that?)
- Fragments of R-mingle
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Expanding the logic of paradox with a difference-making relevant implication
- Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules
- R-Mingle is Nice, and so is Arnon Avron
- Decision procedure of some relevant logics: a constructive perspective
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Implementing the `Fool's model' of combinatory logic
- Title not available (Why is that?)
- Rules in relevant logic. II: Formula representation
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
- Comments on the Contributions
- Lambek calculus with conjugates
- The concept of relevance and the logic diagram tradition
- A Logical Autobiography
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Distribution in the logic of meaning containment and in quantum mechanics
- Relevance-Sensitive Truth-Trees
- Modal translations in substructural logics
- A decidable temporal relevant logic for time-dependent relevant human reasoning
- Varieties of De Morgan monoids: covers of atoms
- Revisiting Semilattice Semantics
- A note on the decidability of a strong relevant logic
- Undefinability vs. definability of satisfaction and truth
- Complexity hierarchies beyond elementary
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- A second pretabular classical relevance logic
- Paraconsistent fuzzy logic preserving non-falsity
- Ticket Entailment is decidable
This page was built for publication: The undecidability of entailment and relevant implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703869)
