Boxes are relevant

MaRDI QIDQ4919781zbMATH OpenFDO

Authors Igor Sedlár

Publication date 15 May 2013

zbMATH Keywords

relevant logicterm-modal logictranslation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Simplified semantics for basic relevant logics
• A theory of logical relevance
• Truth translations of basic relevant logics
• Models for relevant modal logics
• Equivalents of mingle and positive paradox

Cited in

(3)

• Truth translations of basic relevant logics
• Epistemic relevance and epistemic actions
• scientific article; zbMATH DE number 3901606 (Why is no real title available?)

This page was built for publication: Boxes are relevant

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