×
赫里萨菲斯·哈托纳斯

（co）剩余格的对偶结果。 （英语） Zbl 1516.06009号

日志。Univers大学。 13，第1号，77-99（2019）.
摘要：我们给出了蕴涵格和（共）剩余格的对偶性（离散对偶性，通过真值和斯通对偶的对偶性）。结合我们最近关于一元模态算子格的离散对偶的文章，本文有助于填补Orłowska和Rewitzky离散对偶研究计划的发展中的一个空白，该计划似乎遇到了带算子的非分配格的情况。我们通过真值讨论二重性，这对于将两个排序框架的非分配逻辑与其排序的剩余模态逻辑联系起来，以及（co）剩余格的完全Stone对偶性都是至关重要的。我们的结果直接应用于相关子结构（资源一致）逻辑计算的语义。

引用于2文件

MSC公司：

06B15号 格的表示理论
03B47号 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑）
03G10年 格和相关结构的逻辑方面
03G25号 与逻辑相关的其他代数

关键词：

非分配格;离散对偶;子结构逻辑;蕴涵格;剩余格;石头的二元性;通过真理实现二元性;剩余格;格的算子表示
PDF格式BibTeX公司 XML格式引用
\textit{C.Hartonas}，日志。Univers大学。13，编号1，77-99（2019；兹bl 1516.06009）
全文： 内政部

参考文献：

[1] Allwein，G.，Dunn，J.M.：线性逻辑的克里普克模型。J.塞姆。逻辑58（2），514-545（1993）·Zbl 0795.03013号 ·doi:10.2307/2275217
[2] Coumans，D.，Gehrke，M.，van Rooijen，L.：全线性逻辑的关系语义。逻辑类别语义。J.应用。逻辑12（1），50-66（2014）·Zbl 1335.03063号 ·doi:10.1016/j.jal.2013.07.005
[3] Došen，K.：子结构逻辑中的模态翻译。J.菲洛斯。逻辑21，283-336（1992）·Zbl 0765.03009号 ·doi:10.1007/BF00260931
[4] Düntch，I.，Orłowska，E.，Kwuida，L.：双补格的离散表示。芬丹。通知。156281-295（2017）·Zbl 1423.06017号 ·doi:10.3233/FI-2017-1609
[5] Düntsch，I.，Orłowska，E.：partness代数和partness框架之间的离散对偶。J.应用。非类。逻辑18（2-3），213-227（2008）·Zbl 1181.03060号 ·doi:10.3166/JANCL.18.213-227
[6] Düntsch，I.，Orłowska，E.：双Stone代数的离散对偶。螺柱日志。99（1-3）、127-142（2011）·Zbl 1230.06005号 ·doi:10.1007/s11225-011-9349-8
[7] Düntsch，I.，Orłowska，E.：粗糙关系代数的离散对偶。芬丹。通知。127(1-4), 35-47 (2013) ·Zbl 1275.03167号
[8] Düntsch，I.，Orłowska，E.：一些具有关系的代数的离散对偶。J.日志。阿尔盖布。方法。程序。83(2), 169-179 (2014) ·Zbl 1434.68556号 ·doi:10.1016/j.jlap.2014.02.006
[9] Düntsch，I.，Orłowska，E.，van Alten，C.J.：n元MTL代数和2元BL-代数的离散对偶。模糊集系统。292203-214（2016）·Zbl 1385.06005号 ·doi:10.1016/j.fss.2014.09.014
[10] Figallo，A.V.，Pelaitay，G.：TenseŁukasiewicz-Moisil代数的离散对偶。芬丹。通知。136, 1-13 (2015) ·Zbl 1350.03047号
[11] Figallo，A.V.，Pelaitay，G.，Sanza，C.：TSH-代数的离散对偶性。Commun公司。韩国数学。Soc.27（1），47-56（2012）·Zbl 1259.03087号 ·doi:10.4134/CKMS.2012.27.1.047
[12] Ganter，B.，Wille，R.：形式概念分析：数学基础。柏林施普林格（1999）·Zbl 0909.06001号 ·doi:10.1007/978-3-642-59830-2
[13] Gehrke，M.：广义Kripke框架。螺柱日志。84(2), 241-275 (2006) ·Zbl 1115.03013号 ·doi:10.1007/s11225-006-9008-7
[14] 哥德尔：《直觉命题微积分的解释》，第一卷，《文集》，第300-303页。牛津大学出版社，1986年（首次以德语出版，1933年）
[15] Gregori，V.：带算子的de-Morgan代数的离散对偶。亚欧数学杂志。10(1), 1950010 (2017) ·Zbl 1406.06008号 ·doi:10.1142/S1793557119500104
[16] Hartonas，C.：格序代数和正规代数化逻辑的对偶性。螺柱日志。58, 403-450 (1997) ·兹标0886.06002 ·doi:10.1023/A:1004982417404
[17] Hartonas，C.：非分配命题逻辑的顺序-双重关系语义。牛津大学。日志。J.IGPL 25（2），145-182（2017）·Zbl 1405.03071号
[18] Hartonas，C.：具有模态算子的格的离散对偶。J.日志。计算。（2018）。https://doi.org/10.1093/logcom/exy030 ·Zbl 1444.03174号
[19] Hartonas，C.：《非分配命题逻辑的序对偶关系语义：一般框架》，J.Philos。日志。47(1), 67-94 (2018) ·Zbl 1436.03168号 ·doi:10.1007/s109922-016-9417-7
[20] Hartonas，C.：晶格扩展的Stone对偶性。牛津大学。日志。J.IGPL 26（5），475-504（2018）·Zbl 1492.06003号 ·doi:10.1093/jigpal/jzy010
[21] Hartonas，C.：格逻辑是2排序的剩余模态逻辑的一个片段。J.应用。非类别。逻辑（2018）。https://doi.org/10.13140/RG.2.2.22648.14081 ·Zbl 1444.03057号
[22] Hartonas，C.，Dunn，J.M.：格的Stone对偶性。代数大学。37, 391-401 (1997) ·Zbl 0902.06008号 ·doi:10.1007/s000120050024
[23] Hartung，G.：格的拓扑表示。代数大学。29, 273-299 (1992) ·Zbl 0790.06005号 ·doi:10.1007/BF01190610
[24] Jónsson，B.，Tarski，A.：带算子的布尔代数。73, 891-939 (1951) ·Zbl 0045.31505号 ·数字对象标识代码：10.2307/2372123
[25] Jónsson，B.，Tarski，A.：带算子的布尔代数II。Am.J.数学。74, 8127-162 (1952) ·Zbl 0045.31601号
[26] 麦肯锡，J.C.，塔斯基，A.：关于Lewis和Heyting句子计算的一些定理。J.塞姆。日志。13(1), 1-15 (1948) ·Zbl 0037.29409号 ·doi:10.2307/2268135
[27] Ono，H.：结构规则和逻辑层次结构。摘自：Petkov，P.P.（编辑）《暑期学校和数理逻辑会议论文集》（保加利亚柴卡，1988年），第95-104页。纽约Plenum出版社（1990）·兹比尔0790.003007
[28] Ono，H.，Komori，Y.：没有收缩规则的逻辑学。J.塞姆。日志。50, 169-201 (1985) ·Zbl 0583.03018号 ·doi:10.2307/2273798
[29] 或者E·奥斯卡：安娜·玛丽亚·拉齐科夫斯卡和英格丽德·雷维茨基。收录于：Gabbay，D.（编辑）《应用逻辑结构的二重性》，《逻辑系列研究》。学院出版物（2015）·Zbl 1337.03002号
[30] 或者łowska，E.，Rewitzky，I.：带算子的Heyting代数的离散对偶。芬丹。通知。81(1-3), 275-295 (2007) ·兹比尔1142.06002
[31] 或者łowska，E.，Rewitzky，I.：离散对偶及其在不完全信息推理中的应用。摘自：粗糙集和智能系统范式，2007年6月28日至30日，波兰华沙，RSEISP 2007国际会议，会议记录，第51-56页（2007）
[32] 或者łowska，E.，Rewitzky，I.：关系代数和柱代数的离散对偶。《计算机科学中的关系和Kleene代数》，第11届计算机科学中关系方法国际会议，RelMiCS 2009，第6届Kleene-代数应用国际会议，AKA 2009，卡塔尔多哈，2009年11月1日至5日。会议记录，第291-305页（2009年）·Zbl 1194.03054号
[33] 或者łowska，E.，Rewitzky，I.：伽罗瓦式连接的代数及其离散对偶性。模糊集系统。161(9), 1325-1342 (2010). 格值数学基础及其在代数和拓扑中的应用·Zbl 1195.03059号 ·doi:10.1016/j.fss.2009.12.013
[34] Orowska，E.，Rewitzky，I.：通过真理的二元性：基于格的逻辑的语义框架。日志。J.IGPL 13（4），467-490（2005）·Zbl 1080.03008号 ·doi:10.1093/jigpal/jzi035
[35] Pelaitay，G.：三值Łukasiewicz-Moisil代数的离散对偶。亚洲欧洲数学杂志。10(1), 1750003 (2017) ·Zbl 1359.06007号 ·doi:10.1142/S1793557117500036
[36] Radzikowska，A.M.：基于de-morgan格的信息代数通过真的二重性。芬丹。通知。144(1), 45-75 (2016) ·Zbl 1431.06006号 ·doi:10.3233/FI-2016-1323
[37] Sofronie-Stokkermans，V.：带算子的有界分配格的对偶性和规范扩张，及其在非经典逻辑语义中的应用I.研究日志。64(1), 93-132 (2000) ·Zbl 0948.06009 ·doi:10.1023/A：1005298632302
[38] Sofronie-Stokkermans，V.：带算子的有界分配格的对偶性和规范扩张，以及非经典逻辑语义的应用II。螺柱日志。64(2), 151-172 (2000) ·Zbl 0955.03038号 ·doi:10.1023/A:1005228629540
[39] Sofronie-Stokkermans，V.：表示定理和非经典逻辑的语义，以及在自动定理证明中的应用，《模糊性和软计算研究》第114卷，第3章，第59-100页（2003）·Zbl 1042.03013号
[40] Urquhart，A.：格的拓扑表示。代数大学。8, 45-58 (1978) ·Zbl 0382.06010号 ·doi:10.1007/BF02455369文件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。