Truth translations of basic relevant logics

MaRDI QIDQ3001365zbMATH OpenFDO

Authors Robert K. Meyer, Yoko Motohama, Viviana Bono

Publication date 31 May 2011

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Simplified semantics for basic relevant logics
• Models for relevant modal logics
• Simplified semantics for relevant logics (and some of their rivals)
• Ternary relations and relevant semantics
• Boxes are relevant

Cited in

(3)

• The better bubbling lemma
• scientific article; zbMATH DE number 4135907 (Why is no real title available?)
• Boxes are relevant

This page was built for publication: Truth translations of basic relevant logics

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