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

DOI10.1017/S0960129508006592zbMATH Open1142.03013OpenAlexW2047419724MaRDI QIDQ5458062FDOQ5458062

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

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

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)

Cites Work

• The semantics of entailment. III
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models for entailment
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)

Cited In (7)

• Title not available (Why is that?)
• Semantics for a basic relevant logic with intensional conjunction and disjunction
• Simplified semantics for basic relevant logics
• Operational Semantics for Positive Relevant Logics Without Distribution
• Béziau on \textit{and} and \textit{or}
• A logic of hypothetical conjunction
• Relevance and conjunction

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)