×
比约恩·莱尔曼;德克·帕丁森

Lewis条件逻辑的序列系统。 （英语） Zbl 1361.68238号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，320-332（2012）。
摘要：我们提出了Lewis条件逻辑（mathbb V）和扩展的无标记无割序列演算，这两种语言都使用了加强连接词和强条件句。这种计算产生了Pspace-decision过程，也适用于弱条件语言。此外，它们还用于证明所考虑的所有逻辑的Craig插值性质，并给出了最近考虑的混合版本\（mathbb V \）的Pspace-decision过程。
关于整个系列，请参见[Zbl 1246.68063号].

引用于1审查
引用于5文件

MSC公司：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
05年3月 切割消除和正规形定理
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

软件：

CoLoSS公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Lellmann}和\textit{D.Pattinson}，Lect。注释计算。科学。751920-332（2012年；兹比尔1361.68238）
全文： DOI程序

参考文献：

[1] 克罗科（Crocco，G.）、法里纳斯（Fariñas del Cerro，L.）：结构、结果关系和逻辑。In:Gabbay，D.M.（编辑）什么是逻辑系统？，第239-259页。牛津大学出版社（1994）·Zbl 0823.03013号
[2] de Swart，H.C.：一个Gentzen或Beth类型的系统，一个实用的决策过程，以及反事实逻辑VC和VCS的构造性完整性证明。J.塞姆。日志。 48(1), 1–20 (1983) ·Zbl 0527.03005号 ·doi:10.2307/2273315
[3] Friedman，N.，Halpern，J.Y.：关于条件逻辑的复杂性。在：KR 1994，第202–213页（1994）·doi:10.1016/B978-1-4832-1452-8.50115-9
[4] Gent，I.P.：刘易斯反事实逻辑的顺序或表式系统VC。圣母院J.Form.Log。 33(3), 369–382 (1992) ·Zbl 0762.03010号 ·doi:10.1305/ndjfl/1093634402
[5] Gentzen，G.：Untersuchungenüber das logische Schließen。I.数学。Z.39（2），176-210（1934）
[6] Ginsberg，M.L.：反事实。Artif公司。智力。 30, 35–79 (1986) ·Zbl 0655.03011号 ·doi:10.1016/0004-3702（86）90067-6
[7] Giordano，L.，Gliozzi，V.，Olivetti，N.，Pozzato，G.L.：非单调推理的KLM逻辑的分析表演算。ACM事务处理。计算。日志。 10(3) (2009) ·Zbl 1351.03004号 ·doi:10.1145/1507244.1507248
[8] Giordano，L.，Gliozzi，V.，Olivetti，N.，Schwind，C.：基于偏好的条件逻辑表演算：PCL及其扩展。ACM事务处理。计算。日志。 10(3), 1–50 (2009) ·Zbl 1351.03019号
[9] Groeneboer，C.，Delgrand，J.P.：正规条件逻辑中基于表格的定理证明。收录于：AAAI，第171-176页（1988年）
[10] Lellmann，B.，Pattinson，D.：浅模态逻辑的割消。收录：Brünnler，K.，Metcalfe，G.（编辑）TABLEAUX 2011。LNCS，第6793卷，第211-225页。斯普林格，海德堡（2011）·兹比尔1244.68069 ·doi:10.1007/978-3642-22119-4_17
[11] Lewis，D.：反事实。布莱克威尔（1973）
[12] Myers，R.、Pattinson，D.、Schröder，L.：混代数混合逻辑。收录：de Alfaro，L.（编辑）FOSSACS 2009。LNCS，第5504卷，第137-151页。斯普林格，海德堡（2009）·Zbl 1234.03020号 ·doi:10.1007/978-3642-00596-111
[13] Nute，D.，Cross，C.B.：条件逻辑。收录于：Gabbay，D.M.，Guenthner，F.（编辑）《哲学逻辑手册》，第4卷，第1-98页。Kluwer（2001）·Zbl 1003.03500号 ·doi:10.1007/978-94-017-0456-4_1
[14] Olivetti，N.，Pozzato，G.L.，Schwind，C.：标准条件逻辑的序列演算和定理证明。ACM事务处理。计算。日志。 8(4), 1–51 (2007) ·兹比尔1367.68253 ·数字对象标识代码：10.1145/1276920.1276924
[15] Pattinson，D.，Schröder，L.：应用于条件逻辑的通用模态割消。日志。方法计算。科学。 7(1) (2011) ·Zbl 1232.03049号 ·doi:10.2168/LMCS-7（1:4）2011年
[16] Sano，K.：混合反事实逻辑——大卫·刘易斯再次遇见亚瑟·普赖尔。J.日志。语言信息18，515–539（2009）·Zbl 1193.03055号 ·doi:10.1007/s10849-009-9090-0
[17] Schröder，L.，Pattinson，D.，Hausmann，D.：具有谨慎单调性的条件逻辑的最佳表。摘自：ECAI，第707–712页（2010年）·Zbl 1211.68413号
[18] Troelstra，A.S.，Schwichtenberg，H.：《基本证明理论》，第二版。剑桥大学出版社（2000）·文件编号：10.1017/CBO9781139168717
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。