scientific article; zbMATH DE number 2015405

MaRDI QIDQ4438236zbMATH OpenFDO

Authors Eunsuk Yang

Publication date 9 December 2003

zbMATH Keywords

completenessreductiorelevance logicRoutley-Meyer semanticsticket entailment

Mathematics Subject Classification ID

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

Recommendations

• On the decidability of implicational ticket entailment
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Completeness and conservative extension results for some Boolean relevant logics
• Ticket entailment plus the mingle axiom has the variable-sharing property
• scientific article; zbMATH DE number 1354102

Cited in

(2)

• Algebraic Kripke-style semantics for relevance logics
• Completeness and conservative extension results for some Boolean relevant logics

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 Q4438236)