An Explanation for the Relational Semantics of Relevance Logic

Zhou Beihai,Jia Qing
DOI: https://doi.org/10.3969/j.issn.1674-3202.2015.01.005
2015-01-01
Abstract:Relational semantics is one of the most popular semantics for relevance logic. How-ever, because this semantics is a kind of“purely”formal semantics, the ternary relation R lacks intuition, and that is why there are various interpretations for relational seman-tics. As to our opinion, R is a representation of the relation among rules, premises and conclusions. Based on this opinion, inference semantics is presented. The background of inference semantics is the formal structure of inference and this feature makes inference semantics intuitive for our understanding. In this paper, we will prove that relational semantics and inference semantics are equivalent with respect to the relevance logical system R+. From this equivalence relation, inference semantics could be viewed as an intermediate link for the intuitive interpretation of relational semantics. By inference semantics, relational semantics could got an interpretation from the structure of infer-ence. Relevance logic is a logic of inference, so inference semantics is coincident with the history of relevance logic.
What problem does this paper attempt to address?