×
恩里科·马尔基奥尼;乔治·梅特卡夫

半线性子结构逻辑的Craig插值。 （英语） Zbl 1273.03075号

数学。日志。问：。 58，第6期，468-481（2012）.
摘要：研究了代数语义为各种双线性（线性有序的次直积）指向交换剩余格的子结构逻辑的Craig插值性质。证明了当相应的代数不是幂等代数时，Craig插值对于这些逻辑的某些类是失败的，并且是弱化的。然后给出了具有Craig插值性质的“R-mingle with unit”逻辑（对应于各种Sugihara幺半群）的公理扩展的完整特征。后一个特征是使用模型理论量词消除策略来确定承认合并性质的杉原幺半群的变种。

引用于11文件

MSC公司：

03B47号 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑）
03C40号 插值、保存、可定义性
03G25号 与逻辑相关的其他代数
06时30分 De Morgan代数，Łukasiewicz代数（格理论方面）

关键词：

合并;半线性;子结构逻辑;R混合;杉原幺半群;克雷格插值特性;代数语义学;点交换剩余格
PDF格式BibTeX公司 XML格式引用
\textit｛E.Marchioni｝和\textit｛G.Metcalfe｝，数学。日志。问题58，第6号，468-481（2012年；兹bl 1273.03075）
全文： 内政部

参考文献：

[1] Avron，《论RM的隐含连接词》，《圣母院J.形式日志》。27（2）第201页–（1986）·Zbl 0613.03003号 ·doi:10.1305/ndjfl/1093636612
[2] Baaz，《模糊逻辑中的插值》，Arch。数学。日志。第38页，461页–（1999年）·Zbl 0936.03026号 ·doi:10.1007/s001530050151
[3] Blok、R-mingle碎片、Stud.Log。78第59页–（2004年）·Zbl 1067.03029号 ·doi:10.1007/s11225-005-0106-8
[4] Czelakowski，逻辑矩阵和合并属性，Stud.Log。第41页，329页–（1982年）·Zbl 0549.03014号 ·doi:10.1007/BF00403332
[5] 邓恩，R-mingle及其扩展的代数完备性，J.Symb。日志。第1页，35页–（1970年）·Zbl 0231.02024 ·doi:10.2307/2271149
[6] Gabbay，插值和可定义性，模态和直觉逻辑，牛津逻辑指南第46卷（2005年）·Zbl 1091.03001号 ·doi:10.1093/acprof:oso/9780198511748.001.0001
[7] Galatos，剩余格：子结构逻辑的代数一瞥，《逻辑研究与数学基础》第151卷（2007）
[8] Galatos，奇Sugihara幺半群的范畴等价及其应用，J.Pure Appl。日志。216（10）第2177页–（2012）·Zbl 1279.03043号 ·doi:10.1016/j.jpaa.2012.02.006
[9] 哈耶克，《模糊逻辑的元数学》，《逻辑趋势》第4卷（1998年）·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[10] 霍奇斯，模型理论，数学及其应用百科全书第42卷（1993）
[11] Jónsson，同余格是分配的代数，数学。扫描。第21页，第110页–（1967年）·Zbl 0167.28401号 ·doi:10.7146/math.scanda.a-10850
[12] Kihara，插值属性，Beth可定义属性和子结构逻辑的合并属性，J.Log。计算。20（4）第823页–（2010年）·Zbl 1207.03030号 ·doi:10.1093/log/exn084
[13] Marchioni，通过各种交换剩余格的量词消去的合并，Arch。数学。日志。51（1-2）第15页–（2012）·Zbl 1245.03110号 ·文件编号：10.1007/s00153-011-0251-x
[14] Marchioni，非形式逻辑的插值性质，摘自：《第40届IEEE多值逻辑国际研讨会论文集》，ISMVL 2010年5月2628日，西班牙巴塞罗那，第205–（2010）页
[15] G.Metcalfe F.Montagna C.Tsinakis有序代数的合并和插值2011
[16] 梅特卡夫，《模糊逻辑的证明理论》，应用逻辑系列第36卷（2008年）·Zbl 1284.03187号
[17] Meyer，RM中的相关插值，技术报告9，逻辑组，RSSS（1980）
[18] 蒙塔格纳，《命题多值逻辑中的插值和贝思性质：语义研究》，《Ann，Pure Appl》。日志。141（1-2）第148页–（2006）·Zbl 1094.03011号 ·doi:10.1016/j.apal.2005.11.001
[19] Olson，可表示幂等交换剩余格的子簇格，代数宇宙。67（1）第43页–（2012）·Zbl 1253.06017号 ·文件编号：10.1007/s00012-012-0167-2
[20] 奥尔森，正Sugihara幺半群，代数宇宙。第57页，75页–（2007年）·Zbl 1128.03054号 ·doi:10.1007/s00012-007-2022-4
[21] Pigozzi，代数中的合并，同余扩张和插值性质，代数大学。第269页–（1972）·Zbl 0236.02047号 ·doi:10.1007/BF02944991
[22] Raftery，可表示幂等交换剩余格，Trans。美国数学。Soc.359第4405页–（2007年）·Zbl 1117.03070号 ·doi:10.1090/S0002-9947-07-04235-3
[23] Urquhart，相关逻辑中的插值失败，J.Philos。日志。22（5）第449页–（1993）·Zbl 0798.03020号 ·doi:10.1007/BF01349560
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。