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

DOI10.1017/S0960129508006592MaRDI QIDQ5458062zbMATH OpenOpenAlexFDO

Authors 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

semanticsrelevant logicintensional conjunction and 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
• Relevance and conjunction
• Operational semantics for positive R
• Relevance and paraconsistency—a new approach
• scientific article; zbMATH DE number 4061202

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• Models for entailment
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• The semantics of entailment. III

Cited in

(7)

• A logic of hypothetical conjunction
• Semantics for a basic relevant logic with intensional conjunction and disjunction
• Operational Semantics for Positive Relevant Logics Without Distribution
• Relevance and conjunction
• Béziau on \textit{and} and \textit{or}
• scientific article; zbMATH DE number 1859178 (Why is no real title available?)
• Simplified semantics for basic relevant logics

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

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