相干逻辑关系语义的推理解释
An Explanation for the Relational Semantics of Relevance Logic

关系语义是相干逻辑中最为重要的语义学之一，但是关系语义一开始就以“纯粹”的形式语义的面貌出现，其中三元关系 R 的直观意思是什么并不清楚，于是出现了关于关系语义的多种解释。我们认为， R 所代表的是推理规则集、前提集和结论集三者之间的关系，据此提出了推理语义。推理语义以推理的形式结构为背景，有明确的直观意义。本文以相干逻辑系统为例，证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看，推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释，同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。