Relevance logic: problems open and closed

MaRDI QIDQ2966516zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 7 March 2017

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/3926/3513

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• The complexity of decision procedures in relevance logic II
• scientific article; zbMATH DE number 2072508
• Some relevance logics from the point of view of relational semantics
• The undecidability of entailment and relevant implication
• scientific article; zbMATH DE number 6868329

Cited in

(18)

• Operational semantics for positive R
• A conservative negation extension of positive semilattice logic without the finite model property
• A characteristic frame for positive intuitionistic and relevance logic
• Decidable subsets of open logic and an algorithm for R-calculus
• Solutions to some open problems from Slaney
• Implicational relevance logic is 2-\textsc{ExpTime}-complete
• scientific article; zbMATH DE number 3849196 (Why is no real title available?)
• Four variables suffice
• scientific article; zbMATH DE number 4063072 (Why is no real title available?)
• Some relevance logics from the point of view of relational semantics
• A Logical Autobiography
• Relevance-Sensitive Truth-Trees
• Revisiting Semilattice Semantics
• Intension, extension, distribution and decidability
• Computer Science Logic
• The Relevance Logic Programme: Failed or Just Stalled?
• Relevant S is undecidable
• Relational patterns, partiality, and set lifting in modal semantics

This page was built for publication: Relevance logic: problems open and closed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2966516)