An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic

DOI10.1007/978-3-662-47197-5_10zbMath1429.03091OpenAlexW2240965236MaRDI QIDQ5213662

Qing Jia, Beihai Zhou

Publication date: 4 February 2020

Published in: Modality, Semantics and Interpretations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47197-5_10

zbMATH Keywords

relational semanticsrelevance logicinference semantics

Mathematics Subject Classification ID

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

Cites Work

• Algebraic Kripke-style semantics for relevance logics
• The semantics of entailment. II
• The semantics of entailment. III
• Relevant logic and the theory of information
• Handbook of philosophical logic. Vol. 6
• Semantics for relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic