×
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿姆卡·塞尔纳达斯

不可靠连接词存在下的克雷格插值。 （英语） Zbl 1342.03022号

日志。Univers大学。 8，编号3-4，423-446（2014）.
摘要：在UCL中研究了箭头和十字转门插值（由作者介绍[J.Log.Compute.24，No.5，1023–1069（2014；Zbl 1305.03034号)])这是经典命题逻辑的一个完整扩展，用于推理仅在给定概率下按预期行为的连接词。箭头插补一般适用，转门插补是在某些条件下建立的。

MSC公司：

03B48号 概率和归纳逻辑
03B60号 其他非经典逻辑
03B70号 计算机科学中的逻辑
68层37 人工智能背景下的不确定性推理

关键词：

概率逻辑;不可靠连接词;箭头和转门插值

引文：

Zbl 1305.03034号

软件：

FOCI公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Rasga}等人，日志。Univers大学。8、编号3--4、423--446（2014；Zbl 1342.03022）
全文： 内政部

参考文献：

[1] Areces C.，Blackburn P.，Marx M.：修复量化模态逻辑中的插值定理。Ann.纯粹应用。逻辑124（1-3），287-299（2003）·兹比尔1031.03025 ·doi:10.1016/S0168-0072（03）00059-9
[2] Areces，C.，Hoogland，E.，de Jongh，D.：可解释逻辑中的插值、可定义性和不动点。收录于：模态逻辑进展，CSLI课堂讲稿第119卷，第35-58页。CSLI出版物，斯坦福（2001）·Zbl 1001.03054号
[3] Beklemishev，L.D.：关于GLP的Craig插值和不动点性质。参见：《证据、类别和计算》，《致敬》第13卷，第49-60页。伦敦大学出版社（2010年）·Zbl 1229.03049号
[4] Beth，E.W.：关于定义理论中的Padoa方法。内德勒。阿卡德。韦滕施。程序。序列号。A.56（Indagationes数学），15，330-339（1953）·Zbl 0053.34402号
[5] Bicarregui J.、Dimitrakos T.、Gabbay D.、Maibaum T.：实际形式发展中的插值。逻辑J.IGPL。9(2), 231-243 (2001) ·Zbl 0981.03035号 ·doi:10.1093/jigpal/9.2.231
[6] Bonacina，M.P.，Johansson，M.：关于决策程序中的插值。《自动推理与分析表及相关方法》，计算机科学讲义第6793卷，第1-16页。柏林施普林格出版社（2011）·兹比尔1331.68198
[7] Carbone，A.：图解系统的Craig插值定理。收录于：Collegium Logicum，第2卷，Coll。《逻辑年鉴》（Logicum Ann.Kurt-Gödel-Soc.），第87-100页。施普林格，柏林（1996）·Zbl 0855.03031号
[8] Carbone A.：命题演算的插值、割消去和流图。Ann.纯粹应用。逻辑。83(3), 249-299 (1997) ·Zbl 0873.03050号 ·doi:10.1016/S0168-0072（96）00019-X
[9] Carnielli W.，Rasga J.，Sernadas C.：通过翻译进行插值。数学。逻辑问题55（5），515-534（2009）·Zbl 1178.03043号 ·doi:10.1002/每周200810013
[10] Carnielli W.A.，Rasga J.，Sernadas C.：通过纤维形成保存插值特征。逻辑计算杂志。18(1), 123-151 (2008) ·Zbl 1138.03010号 ·doi:10.1093/log.com/exm061
[11] 克雷格·W：线性推理。Herbrand-Gentzen定理的一种新形式。J.塞姆。逻辑。22, 250-268 (1957) ·Zbl 0081.24402号 ·doi:10.2307/2963593
[12] 克雷格·W·：赫伯兰-根岑定理在关联模型理论和证明理论中的三个用途。J.塞姆。逻辑。22, 269-285 (1957) ·Zbl 0079.24502号 ·doi:10.2307/2963594
[13] Czelakowski J.：句子逻辑和前原诚司插值特性。研究日志。44(3), 265-283 (1985) ·Zbl 0593.03012号 ·doi:10.1007/BF00394446
[14] Czelakowski，J.，Pigozzi，D.：抽象代数逻辑中的合并和插值。摘自：《模型、代数和证明》，《纯粹和应用数学讲义》第203卷，第187-265页。德克尔（1999）·Zbl 0927.03086号
[15] 达戈斯蒂诺：非经典逻辑中的插值。合成。国际科学认识论、方法论和哲学杂志，164（3），421-435（2008）·Zbl 1171.03018号 ·数字对象标识代码：10.1007/s11229-008-9359-x
[16] Diaconescu R.：克雷格插值定理的机构相关证明。研究日志。77(1), 59-79 (2004) ·Zbl 1048.03026号 ·doi:10.1023/B:STUD.000034185.62660.d6
[17] 和谐逻辑：克雷格插值定理及其后代。合成。164(3), 341-357 (2008) ·Zbl 1169.03027号 ·doi:10.1007/s11229-008-9354-2
[18] Font J.M.，Jansana R.，Pigozzi D.：抽象代数逻辑综述。研究日志。74(1-2), 13-97 (2003) ·Zbl 1057.03058号 ·doi:10.1023/A:1024621922509
[19] Gabbay，D.M.，Maksimova，L.：插值和可定义性，《牛津逻辑指南》第46卷。模态逻辑和直觉逻辑。克拉伦登出版社，牛津大学出版社（2005）·Zbl 1091.03001号
[20] Jhala，R.，McMillan，K.L.：基于插值的过渡关系近似。日志。方法计算。科学。3（4），4:1，（电子版）（2007）·Zbl 1131.68062号
[21] Keisler H.J.，Keisler J.M.：句子网络的Craig插值。Ann.纯粹应用。逻辑。163(9), 1322-1344 (2012) ·Zbl 1252.03089号 ·doi:10.1016/j.apal.2012.03.001
[22] Kihara H.，Ono H.：子结构逻辑的插值性质、Beth可定义性质和合并性质。J.逻辑计算。20(4), 823-875 (2010) ·Zbl 1207.03030号 ·doi:10.1093/log.com/exn084
[23] Kracht M.，Wolter F.：独立公理化双模逻辑的性质。J.赛姆布。逻辑。56(4), 1469-1485 (1991) ·Zbl 0743.03013号 ·doi:10.2307/2275487
[24] Lyndon R.C.：谓词演算中的插值定理。派克靴。数学杂志。9, 129-142 (1959) ·Zbl 0093.01002号 ·doi:10.2140/pjm.1959.9.129
[25] 前原诚司：关于克雷格的插值定理。数学。Soc.Jpn.公司。Ságakugaku，12235-237（1960年/1961年）·Zbl 0123.24601号
[26] Marchioni E.，Metcalfe G.：半线性子结构逻辑的Craig插值。数学。逻辑问题58（6），468-481（2012）·Zbl 1273.03075号 ·doi:10.1002/malq.201200004
[27] 马克·D：《模型理论：导论》，《数学研究生教材》第217卷。柏林施普林格-弗拉格出版社（2002年）·Zbl 1003.03034号
[28] 麦克米兰K.L.：插值定理证明器。西奥。计算。科学。345(1), 101-121 (2005) ·Zbl 1079.68092号 ·doi:10.1016/j.tcs.2005.07.003
[29] Miller，C.，Kupferschmid，S.，Lewis，M.，Becker，B.：不完全设计的编码技术、Craig插值和有界模型检查。收录于：《可满足性测试的理论与应用-SAT》，计算机科学讲义第6175卷，第194-208页。施普林格（2010）·Zbl 1306.68168号
[30] Montagna F.：Δ-核心模糊逻辑，带有命题量词、量词消除和一致Craig插值。研究日志。100(1-2), 289-317 (2012) ·Zbl 1258.03029号 ·doi:10.1007/s11225-012-9379-x
[31] Schumm G.F.：模态逻辑中插值的一些失败。圣母院J。形式。逻辑。27(1), 108-110 (1986) ·Zbl 0588.03009号 ·doi:10.1305/ndjfl/1093636529
[32] Sernadas，A.，Rasga，J.，Sernadas，C.，Mateus，P.：关于具有单个扇出不可靠门的逻辑电路的近似推理。逻辑计算杂志。，印刷版（2013年）·Zbl 1305.03034号
[33] 塞尔纳达斯A.、塞尔纳达斯C.、拉斯加J.：关于逻辑的会议组合。J.逻辑计算。22(6), 1453-1470 (2012) ·Zbl 1280.03034号 ·doi:10.1093/log.com/exr035
[34] Sernadas C.，Rasga J.，Sernadas A.：矩阵逻辑乘积对Craig插值的保留。J.应用。逻辑。11(3), 328-349 (2013) ·Zbl 1284.03214号 ·doi:10.1016/j.jal.2013.06.001
[35] Tarski，A.：初等代数和几何的判定方法。第2版。加利福尼亚大学出版社，（1951年）·Zbl 0044.25102号
[36] Teige，T.，Fränzle，M.：随机布尔可满足性问题的广义Craig插值及其在概率状态可达性和区域稳定性中的应用。日志。方法计算。科学。8(2), 2:16, 32 (2012) ·Zbl 1242.68191号
[37] Urquhart A.：相关逻辑插值失败。J.菲洛斯。逻辑。22(5), 449-479 (1993) ·Zbl 0798.03020号 ·doi:10.1007/BF01349560
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。