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

Beihai Zhou,Qing Jia
DOI: https://doi.org/10.1007/978-3-662-47197-5_10
2015-01-01
Abstract:Relational semantics is one of the most popular forms of semantics for relevance logic. However, this semantics, especially the ternary relation R lacks intuition, and that is why there are various interpretations for R. The original motivation for creating relevance logic is to give a better description of inference, thus if an interpretation for R could match this motivation better, then it will be more intuitive than the relational semantics and other interpretations. Therefore, this paper focuses on inference semantics, which could be viewed as a relational semantics with a ternary relation R, and R represents a relation among rules, premises and conclusions. These two forms of semantics are equivalent with respect to the relevance logic system R+. Actually, relational semantics could be regarded as a characterization of the formal structure of inference, and relevance logic may be defined as the logic of some kind of inference.
What problem does this paper attempt to address?