scientific article; zbMATH DE number 575580

MaRDI QIDQ4294469zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 16 February 1995

zbMATH Keywords

pure implicational logicsrelevant logicsstrongly relevant

Mathematics Subject Classification ID

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

Recommendations

• What is relevance logic?
• Strong depth relevance
• Substructural implicational logics including the relevant logic E
• On purely relevant logics
• Relevance Principle for Substructural Logics with Mingle and Strong Negation

Cited in

(8)

• A note on the decidability of a strong relevant logic
• The strong version of a sentential logic
• Blocking the routes to triviality with depth relevance
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Strong depth relevance
• A Note on the Relevance of Semilattice Relevance Logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• The fundamental S-theorem - A corollary

This page was built for publication:

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