或者鄂尔多斯卡 三元关系逻辑中相关逻辑的解释。 （英文） Zbl 0716.03010号 牛市。教派。日志。，波兰。阿卡德。科学。 19，No.2，39-48（1990）. 本文提出了一个相关逻辑的关系证明系统，该系统类似于作者为各种模态逻辑（以及直觉逻辑）所给出的证明系统[同上17，No.1，2-14（1988；Zbl 0651.03011号)]. 所讨论的相关逻辑是对基本附加系统B（对应公理的对位规则中的贸易）的轻微加强，例如，通过R.劳特利,五、铅垂木,R.K.梅耶和R.T.布雷迪【相关逻辑及其竞争对手，第1卷（1983；Zbl 0579.03011号)]. 相关逻辑的公式映射到三元关系。然后，通过添加一个可区分的三元关系R，然后基本上指定从Routey-Meyer关系语义学构建的正确语义假设中的推理规则，从而开发出一个适当的三元逻辑，例如，他们在《发现真理、句法和情态》（Truth，syntax，and phone，Stud.logic Found）中发表的论文。数学。68, 199-243 (1973;兹比尔0317.02017).关系逻辑的公式的形式是Rabc、（A到B）dtu等。那些不使用R的公式称为非退化公式。然后，我们继续使用推理规则来定义非退化公式的分解树、基本分解树和完全分解树。然后声称，如果关系逻辑的对应公式A0ab具有基本分解树，则相关逻辑的公式a是有效的。在作者的论文“相关逻辑的关系证明系统”[手稿-大概即将出版]中，这一基本证明系统已被扩展到包括更强的相关逻辑，如TW、T、R和R-Mingle，其中也包含了对本文主张的证明。熟悉相关逻辑的Routey-Meyer关系语义的读者如果注意到1）证明系统完全基于语义，2）非退化公式关系的“永恒性”实际上是“一元性”，就会更好地理解这个关系证明系统-关系的第二位和第三位没有功能性作用。Aabc形式的公式或多或少可以理解为“每个模型结构中每个点的每个估值都为A”。所以A0ab形式的公式的分解树只是试图证明a在关系语义中是有效的。基本分解树是一种成功的尝试，一个完整但非基本的分解树将产生一种方法，可以指定一个反模型来验证所讨论公式的有效性。囊性纤维变性。A.厄克哈特的半格相关逻辑的Gentzen系统，如与评论家的联合论文[Z.Math.Logik Grundlagen Math.33，433-439（1987；Zbl 0611.03005号)].审核人：S.Giambrone公司 引用于1审查 MSC公司： 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：证明理论；语义表；关系证明系统；相关逻辑；三元关系逻辑；非退化公式的分解树 引文：Zbl 0627.03005号；Zbl 0651.03011号；Zbl 0579.03011号；Zbl 0317.02017号；兹比尔0611.03005 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，公牛。教派。逻辑，Pol。阿卡德。科学。19，第2号，39--48（1990；Zbl 0716.03010）