Fermüller,克里斯蒂安·G。;赫伯特·兰斯泰纳 表aux用于具有任意分布形式的有限值逻辑。 (英文) 兹比尔0909.03045 de Swart,Harrie(编辑),用分析表和相关方法进行自动推理。1998年5月5日至8日,荷兰Oisterwijk,1998年TABLEAUX国际会议。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1397, 156-171 (1998). 本文研究了有限多真值的多值逻辑与模态逻辑的结合。正如本文引言中所总结的那样,不同作者已经在几篇论文中探讨了这种组合。其本质是正确定义多值逻辑提供的许多真值与模式逻辑附带的可能世界的克里普克语义之间的相互作用,这也与可预见的应用有关。这里提出的方法的一个主要新颖之处是允许所谓的分配模式。本质上,以前的多值模态逻辑只允许两种模态,即(正方形)和(菱形),其中世界(伽马)中的(正方形X)((菱形X,)的真值是从伽马可以到达的所有世界中的(X)真值集的下确界(上确界)。目前的方法允许许多模态,即从真值集到真值的每个函数的模态:例如,世界\(\Gamma\)中\(\mu X\)的真值是应用于从\(\Gamma\)可到达的所有世界中\(X\)的真值集的函数\(\mu \)的图像。在Reiner Hähnle关于多值逻辑的符号表和Melvin Fitting关于模态逻辑的前缀表的先前工作(参见本文中的参考文献)的基础上,作者定义了一个基于表的多值模态逻辑演算,并证明其在分配方式语义方面的合理性和完备性。由数据库应用程序驱动的示例总结了本文。作为一篇会议论文,这篇文章有点技术性,并不完备(例如,没有包括证明,并且已经总结了Belnap逻辑的示例)。这对其他研究类似问题的研究人员来说是有用的,但还不熟悉这一主题的读者应该首先阅读有关多值逻辑、模态逻辑和此类逻辑的tableaux calculi的介绍性材料。本文末尾的参考文献列表似乎足以满足这一目的。关于整个系列,请参见[Zbl 0888.00018号].审核人:M.P.博纳西纳(爱荷华州市) MSC公司: 03财年03 一般证明理论(包括证明理论语义) 03B35型 证明和逻辑操作的机械化 03B45号 模态逻辑(包括规范逻辑) 03B50号 多值逻辑 第68页,共15页 数据库理论 关键词:逻辑组合;多值逻辑;模态逻辑;基于tableaux的微积分;数据库应用程序 软件:MUltlog公司 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}和\textit{H.Langsteiner},Lect。注释计算。科学。1397、156--171(1998年;Zbl 0909.03045)