Relevance logic: problems open and closed

zbMATH Open1422.03040MaRDI QIDQ2966516FDOQ2966516

Authors: Alasdair Urquhart 

Publication date: 7 March 2017

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

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

Mathematics Subject Classification ID

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

Cited In (15)

• Implicational relevance logic is 2-\textsc{ExpTime}-complete
• Some relevance logics from the point of view of relational semantics
• Title not available (Why is that?)
• Computer Science Logic
• A conservative negation extension of positive semilattice logic without the finite model property
• Four variables suffice
• Operational semantics for positive R
• Title not available (Why is that?)
• Solutions to some open problems from Slaney
• A characteristic frame for positive intuitionistic and relevance logic
• The Relevance Logic Programme: Failed or Just Stalled?
• Decidable subsets of open logic and an algorithm for R-calculus
• A Logical Autobiography
• Relevance-Sensitive Truth-Trees
• Revisiting Semilattice 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)