×

混合逻辑的一种证明方法,具有绑定、传递性和关系层次。 (英语) Zbl 1381.03018号

Bonacina,Maria Paola(编辑),《自动扣除——CADE-24》。第24届自动扣减国际会议,普莱西德湖,美国纽约,2013年6月9日至14日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-38573-5/pbk)。计算机科学课堂讲稿7898。人工智能课堂讲稿,76-90(2013年)。
摘要:在上一篇论文中,定义了一个表演算,它是一个混合逻辑的决策过程,具有逆模式、全局模式和限制使用的绑定器。这项工作展示了如何将这种演算扩展到多模态逻辑,这些多模逻辑有两个主要用于描述逻辑的特征,即传递性和关系包含断言。文中还简要介绍了证明程序的实现,并给出了一些初步的实验结果。
整个系列请参见[Zbl 1264.68002].

理学硕士:

03B35型 证明和逻辑运算的机械化
03B45型 模态逻辑(包括规范逻辑)
68T15型 定理证明(演绎、解析等)(MSC2010)

软件:

西比尔
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接