Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)

DOI10.1017/S0960129508006592zbMath1142.03013OpenAlexW2047419724MaRDI QIDQ5458062

Ying Gao, Jingde Cheng

Publication date: 10 April 2008

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129508006592

zbMATH Keywords

relevant logicsemanticsintensional conjunction and disjunction

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Simplified semantics for relevant logics (and some of their rivals)
• Simplified semantics for basic relevant logics
• Models for entailment
• The semantics of entailment. III

This page was built for publication: Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)