Semantics for a basic relevant logic with intensional conjunction and disjunction

MaRDI QIDQ2863909zbMATH OpenFDO

Authors Jingde Cheng, Ying Gao

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066107000461?np=y

zbMATH Keywords

relevant logicsintensional conjunctionintensional disjunction

Mathematics Subject Classification ID

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

Recommendations

• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Simplified semantics for basic relevant logics
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• Simplified semantics for relevant logics (and some of their rivals)
• Relevance and conjunction

Cited in

(5)

• scientific article; zbMATH DE number 500947 (Why is no real title available?)
• Operational Semantics for Positive Relevant Logics Without Distribution
• Relevance and conjunction
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Simplified semantics for basic relevant logics

This page was built for publication: Semantics for a basic relevant logic with intensional conjunction and disjunction

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