×
弗雷德里克·达尔奎斯特;大卫·皮姆

分配子结构逻辑的余代数完备性-via-非唯一性。 （英语） Zbl 1453.03020号

J.日志。阿尔盖布。方法计划。 93, 1-22 (2017)。
摘要：我们使用完备性-via-非连续性的组合代数版本证明了一系列子结构逻辑相对于基于自然词组的关系语义的强完备性。通过用联合逻辑语言对问题进行形式化，我们发展了一种模块化理论，该理论在一个框架下涵盖了各种不同的逻辑，并有助于进一步扩展。此外，我们认为，联合框架为研究资源模型语义方面，以及子结构逻辑句法方面。

引用于1文件

MSC公司：

03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03克30 分类逻辑，拓扑

关键词：

完整性;正典性;余代数逻辑;子结构逻辑;资源建模;分离逻辑
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}和\textit{D.Pym}，J.Log。阿尔盖布。方法计划。93，1-22（2017；Zbl 1453.03020）
全文： 内政部 arXiv公司

参考文献：

[1] 安德雷卡，H。；Mikulás，s.，Lambek演算及其关系语义：完备性和不完备性，J.Log。语言信息，3，1，1-37（1994）·Zbl 0808.03003号
[2] 巴兰，A。；库尔兹，A。；Velebil，J.，余代数逻辑的正片段，（计算机科学中的代数和余代数（2013），Springer），51-65·Zbl 1394.03035号
[3] 比尔科娃，M。；A.库尔兹。；彼得里桑，D。；Velebil，J.，关于预序和偏序集的关系提升，（计算机科学中的代数和余代数（2011），Springer），115-129·Zbl 1343.18003号
[4] 布莱克本，P。；de Rijke，M。；《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社·Zbl 0988.03006号
[5] 布罗瑟斯顿，J。；Villard，J.，《次经典布尔束逻辑与Par的意义》，《LIPIcs-Leibniz国际信息学论文集》，第41卷（2015年），Schloss Dagstuhl-Leibiniz-Zentrum fuer Informatik·Zbl 1373.03042号
[6] Burris，S。；Sankappanavar，H.P.，《通用代数课程》，数学研究生教材，第78卷（1981年）·Zbl 0478.08001号
[7] 加尔卡尼奥，C。；加德纳，P。；作为模态逻辑的上下文逻辑：完备性和参数不表达性，ACM SIGPLAN Not。，42, 1, 123-134 (2007) ·Zbl 1295.68079号
[8] Cìrstea，C。；帕丁森，D.，完全合代数逻辑的模块化构造，Theor。计算。科学。，388, 1-3, 83-108 (2007) ·Zbl 1126.03020号
[9] 科林森，M。；McDonald，K。；Pym，D.，分层图逻辑作为访问控制策略模型的断言语言，J.Log。计算。，27，1，41-80（2017），牛津大学出版社·Zbl 1361.68223号
[10] 科林森，M。；莫纳汉，B。；Pym，D.J.，《数学系统建模学科》（2012年），大学出版物·Zbl 1305.68011号
[11] 科林森，M。；Pym，D.，《基于资源的系统建模的代数和逻辑》，《计算机科学中的数学结构》，第5卷，959-1027（2009）·Zbl 1185.68441号
[12] 库曼斯，D。；Gehrke，M。；van Rooijen，L.，线性逻辑片段的关系语义，（逻辑博士论文集III（2011））
[13] 科尔托·J·R。；Galmiche，D.，动态资源属性的模式BI逻辑，（计算机科学逻辑基础（2013），Springer），134-148·Zbl 1437.03116号
[14] 科尔托·J·R。；Galmiche，D.，资源动力学的模态分离逻辑，J.Log。计算。，exv031（2015）·Zbl 1437.03116号
[15] Dahlqvist，F。；帕丁森，D.，《关于合并逻辑的融合》（CALCO 2011）。诉讼程序。CALCO 2011。《法律程序》，LNCS，第6859卷（2011年），Springer），161-175·Zbl 1343.03049号
[16] Dahlqvist，F。；Pattinson，D.，《联合逻辑的一些Sahlqvist完备性结果》（FOSSACS 2013）。诉讼程序。2013年FOSSACS。《LNCS学报》，第7794卷（2013年），施普林格出版社，193-208年·Zbl 1260.03039号
[17] Dahlqvist，F。；Pym，D.，分配子结构逻辑的完备性-非连续性，一个联合的观点，（RAMiCS 2015。RAMiCS 2015，LNCS，第9348卷（2015）），119-135·Zbl 1471.03055号
[18] Dunn，J.M.，正模态逻辑，Stud.Log。，55, 2, 301-317 (1995) ·Zbl 0831.03007号
[19] Dunn，J.M。；格尔克，M。；Palmigiano，A.，一些子结构逻辑的规范扩展和关系完备性，J.Symb。日志。，70, 3, 713-740 (2005) ·Zbl 1101.03021号
[20] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：亚结构逻辑的代数一瞥》，第151卷（2007），Elsevier·Zbl 1171.03001号
[21] Galmiche，D。；梅里·D·。；Pym，D.，BI和资源表的语义，计算机科学中的数学结构，151033-1088（2005）·Zbl 1145.03308号
[22] Gehrke，M.，《广义克里普克框架》，Stud.Log。，84, 2, 241-275 (2006) ·Zbl 1115.03013号
[23] Gehrke，M。；Harding，J.，有界晶格展开，J.代数，238，1，345-371（2001）·Zbl 0988.06003号
[24] Gehrke，M。；Jónsson，B.，带算子的有界分配格，数学。日本。，40, 2, 207-215 (1994) ·Zbl 0855.06009
[25] Gehrke，M。；Jónsson，B.，有界分配格展开，数学。扫描。，94, 13-45 (2004) ·Zbl 1077.06008号
[26] Girard，J.-Y.，《线性逻辑》，Theor。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号
[27] Ishtiaq，S.S。；O'Hearn，P.W.，BI作为可变数据结构的断言语言，ACM SIGPLAN Not。，36, 3, 14-26 (2001) ·兹比尔1323.68077
[28] 雅各布斯，B。；Sokolova，A.，模态逻辑的范例表达性，J.Log。计算。，1041-1068年10月20日·Zbl 1234.03009号
[29] Jónsson，B.，《关于Sahlqvist身份的规范性》，Stud.Log。，53473-492（1994年）·兹伯利0810.03050
[30] Jónsson，B。；Tarski，A.，带算子的布尔代数。《美国数学杂志》第1部分。，33, 891-937 (1951)
[31] 库普克，C。；A.库尔兹。；帕丁森，D.，《联合逻辑的代数语义》（CMCS 2004）。CMCS 2004，电子版。理论注释。公司。科学。，第106卷（2004）），219-241·兹比尔1271.03031
[32] 库普克，C。；A.库尔兹。；帕丁森，D.，超滤镜对煤层的扩展，（CALCO 2005。CALCO 2005，LNCS，第3629卷（2005），施普林格），263-277·Zbl 1151.03357号
[33] Mikulás，s.，关于关系语义的lambek演算的强完备性，Banach Cent。公开。，28, 1, 209-217 (1993) ·Zbl 0793.03029号
[34] O'Hearn，P.W。；Pym，D.J.，《集束暗示的逻辑》，布尔。符号。日志。，5, 02, 215-244 (1999) ·Zbl 0930.03095号
[35] Ono，H.，《亚结构逻辑和剩余格——引言》，《趋势日志》。，20, 177-212 (2003) ·Zbl 1048.03018号
[36] 皮姆·D。；O'Hearn，P.W。；Yang，H.，《可能的世界和资源：BI的语义》，Theor。计算。科学。，315, 1, 257-305 (2004) ·Zbl 1055.03021号
[37] Restall，G.，《亚结构逻辑导论》（2002），Routledge·Zbl 1028.03018号
[38] Reynolds，J.C.，《分离逻辑：共享可变数据结构的逻辑》（《计算机科学中的逻辑》，2002年）。诉讼程序。第17届IEEE年会（2002年），IEEE，55-74
[39] 铃木，T.，《子结构和基于格的逻辑的规范性结果》，Rev.Symb。日志。，4，1-42（2011年3月）·Zbl 1229.03023号
[40] Venema，Y.，《代数与余代数》（van Benthem，J.；Blackburn，P.；Wolter，F.，《模态逻辑手册》（2006），爱思唯尔出版社）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。