×
杨，范；Väänänen，佐科

依赖命题逻辑。 （英语） Zbl 1355.03021号

Ann.纯粹应用。逻辑 167，第7号，557-589（2016）.
本文研究命题向下闭群逻辑（｛PT｝_0（磅）\))研究了命题依赖逻辑（mathsf{PD}）、直觉析取命题依赖逻辑。
\（mathsf{PD}）和（mathsf{PID}）是已知一阶依赖逻辑的命题对应物。构造了逻辑（mathsf{PD}）、（mathsf{PD}^\lor）和（mathsf1{PID}）的健全且强完备的演绎系统。
已经证明，所有的逻辑{葡萄牙}_0\)、\（\mathsf｛PD｝\）、\（\mathsf｛PD｝^\lor\）、\（\mathsf｛InqL｝\）和\（\mathsf｛PID｝\）是表示完备、表示等价和紧凑的。
审核人：亚历克斯·西特金（沃伦）

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

MSC公司：

03B60号 其他非经典逻辑
03B70号 计算机科学中的逻辑
03B65号 自然语言逻辑

关键词：

命题依赖逻辑；好奇逻辑；团队语义；非经典逻辑
PDF格式BibTeX公司 XML格式引用
\textit{F.Yang}和\textit{J.Vänänen}，Ann.Pure Appl。Logic 167，No.7，557--589（2016；Zbl 1355.03021）
全文： 内政部 arXiv公司

参考文献：

[1] Abramsky，S。；瓦朗宁；From，J.，IF to BI，Synthese，167，2，207-230（2009）·Zbl 1175.03016号
[2] Armstrong，W.W.，《数据库关系的依赖结构》（IFIP大会（1974）），580-583·Zbl 0296.68038号
[3] Bernays，P.，“数学原理”的Axiomatische untersuchung des aussagen-kalküls der，《数学》。Z.，25，305-320（1926）
[4] 卡梅隆，P。；霍奇斯，W.，《不完全信息的一些组合学》，J.符号逻辑，66，2，673-684（2001年6月）·Zbl 0991.03034号
[5] Ciardelli，I.，《探究语义学和中间逻辑》（2009），阿姆斯特丹大学，硕士论文
[6] Ciardelli，I.，《依赖作为问题蕴涵》（Abramsky，H.V.S.；Kontine，J.；Väänänen，J.，《依存逻辑：理论与应用》，《计算机科学与应用逻辑进展》（2016），Birkhauser出版社）·Zbl 1429.03112号
[7] Ciardelli，I。；罗洛夫森，F.，《调查逻辑》，J.菲洛斯。逻辑，40，1，55-94（2011）·Zbl 1214.03019号
[8] Codd，E.F.，《数据库关系模型的进一步规范化》（1971），IBM研究报告，加利福尼亚州圣何塞市RJ909
[9] 埃宾，J。；Hella，L。；Meier，A。；穆勒，J.-S。；维特玛，J。；Vollmer，H.，《扩展模态依赖逻辑》，（第20届国际研讨会论文集。第20届世界研讨会论文集，WoLLIC 2013。第20届国际研讨会论文集。第20届国际研讨会论文集，WoLLIC 2013，计算机科学讲义，第8071卷（2013），施普林格：施普林格柏林，海德堡），126-137·Zbl 1394.03047号
[10] 埃宾，J。；Lohmann，P.，《模态依赖逻辑模型检查的复杂性》，（Bieliková，M.；Friedrich，G.；Gottlob，G.）；Katzenbeisser，S.；Turán，G.，SOFSEM，《计算机科学讲义》，第7147卷（2012），Springer），226-237·Zbl 1298.68170号
[11] 埃宾，J。；罗曼，P。；Yang，F.，模态直觉依赖逻辑的模型检验，（第九届第比利斯语言、逻辑和计算研讨会的后发文章。第九届蒂比利斯语言，逻辑和计算会议的后发论文，计算机科学讲稿，第7758卷（2013）），231-256·兹比尔1385.68015
[12] Galliani，P.，《独立逻辑的一般模型和蕴涵语义》，圣母院J.Form.Log。，54, 2 (2013) ·Zbl 1269.03031号
[13] Galliani，P.，《团队语义学的多端解释》（Villaveces，A.；Kossak，R.；Kontine，J.；Hirvonen，Au.，《无边界逻辑：集合理论、模型理论、哲学逻辑和数学哲学论文》（2015），德格鲁特），167-192年·Zbl 1429.03115号
[14] Gödel，K.，《莫纳什市福克蒂昂纳克尔公学》（Die Vollständigkeit der Axiome des logischen Funktitonenkalküls，Monatsh）。数学。，37, 349-360 (1930)
[15] Grädel，E。；Väänänen，J.，《依赖与独立》，Studia Logica，第101、2、399-410页（2013年4月）·Zbl 1272.03125号
[16] Groenendijk，J。；Roelofsen，F.，《探究性语义学和语用学》（Larrazabal，J.M.；Zubeldia，L.，《意义、内容和论证：ILCLI语义学、语用学和修辞学国际研讨会论文集》（2009年5月），巴斯克大学国家出版局，41-72
[17] Hella，L。；卢斯托，K。；萨诺，K。；Virtema，J.，《模态依赖逻辑的表达能力》，（《模态逻辑进展》第10期，第十届“模态逻辑进展”会议邀请和贡献论文（2014年），大学出版物：伦敦大学出版物），294-312·Zbl 1385.03018号
[18] Hodges，W.，《一些奇怪的量词》（Mycielski，J.；Rozenberg，G.；Salomaa，A.，《逻辑和计算机科学的结构：A.Ehrenfeucht荣誉论文选集》，《逻辑与计算机科学的构造：A.Ehrenfecht荣誉文选》，《计算机科学讲义》，第1261卷（1997），Springer:Springer London）， 51-65 ·Zbl 0883.03022号
[19] Hyttinen，T。；Paolini，G。；Väänänen，J.，量子团队逻辑和贝尔不等式，Rev.Symb。日志。，8, 4, 722-742 (2015) ·Zbl 1371.03098号
[20] 艾姆霍夫，R。；Yang，F.，依赖命题逻辑的结构完备性（2015）
[21] Kontinen，J。；Väänänen，J.，《关于依赖逻辑中的可定义性》，J.Log。语言信息，18，3，317-332（2009）·Zbl 1182.03063号
[22] Kontine，J。；Väänänen，J.，《依赖逻辑中公理化一阶结果》，《纯粹应用》。逻辑，164，11（2013）·Zbl 1315.03062号
[23] Kreisel，G。；Putnam，H.，Eine unableitbarkitsbeweiste für den直觉主义者的方法。数学。日志。格兰德福施。，3, 74-78 (1957) ·Zbl 0079.00702号
[24] 罗曼，P。；Vollmer，H.，模态依赖逻辑的复杂性结果，Studia Logica，101，2，343-366（2013）·Zbl 1432.03043号
[25] Maksimova，L.，关于具有析取性质的最大中间逻辑，Studia Logica，45，1，69-75（1986）·Zbl 0635.03019号
[26] 梅德韦杰夫，J.T.，《有限问题》，Sov。数学。，道克。，3, 227-230 (1962) ·Zbl 0286.02028号
[27] 彼得森，G。；Reif，J。；Azhar，S.，不完全信息多人非合作游戏的下限，计算。数学。申请。，41, 7-8, 957-992 (2001) ·Zbl 0991.91007号
[28] Post，E.L.，《初等命题一般理论导论》，Amer。数学杂志。，43, 163-185 (1921)
[29] 萨诺，K。；Virtema，J.，《公理化命题依赖逻辑》，（第24届EACSL计算机科学逻辑年会，第24届IACSL计算机逻辑年会），《莱布尼茨国际信息学学报》，第41卷（2015年），莱布尼兹-泽特鲁姆-富尔信息：莱布尼兹·泽特鲁姆富尔信息学Schloss Dagstuhl），292-307·Zbl 1434.03078号
[30] Väänänen，J.，《依赖逻辑：独立友好逻辑的新方法》（2007），剑桥大学出版社：剑桥大学出版社·兹伯利1117.03037
[31] Väänänen，J.，模态依赖逻辑，（Apt，K.R.；van Rooij，R.，《游戏和交互的新视角》，《游戏与交互的新观点》，第4卷（2008年），阿姆斯特丹大学出版社），237-254·Zbl 1377.03011号
[32] Virtema，J.，命题依赖逻辑有效性的复杂性，（第五届国际游戏、自动机、逻辑和形式验证研讨会论文集。第五届游戏、自然主义、逻辑学和形式验证国际研讨会论文集，GandALF 2014。第五届国际游戏、自动机、逻辑和形式验证研讨会论文集。第五届国际游戏、自动化、逻辑和形式验证研讨会论文集，GandALF 2014，EPTCS，第161卷（2014），18-31·兹比尔1469.03086
[33] Yang，F.，在直觉依赖逻辑中表达二阶句子，Studia Logica，101，2，323-342（2013）·Zbl 1272.03126号
[34] Yang，F.，《论依赖逻辑的扩展和变体》（2014），赫尔辛基大学博士论文
[35] Yang，F.，命题依赖逻辑中的统一可定义性（2015）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。