Semantics for a basic relevant logic with intensional conjunction and disjunction

zbMATH Open1276.03021MaRDI QIDQ2863909FDOQ2863909

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

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

zbMATH Keywords

relevant logicsintensional conjunctionintensional disjunction

Mathematics Subject Classification ID

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

Cited In (5)

• Simplified semantics for basic relevant logics
• Operational Semantics for Positive Relevant Logics Without Distribution
• Title not available (Why is that?)
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Relevance and conjunction

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)