×

模态多值逻辑的一般框架语义。 (英语) Zbl 1418.03121号

摘要:由克里普克框架或邻域框架给出的框架语义并没有给出所有分别扩展K和E的模态逻辑的完备性定理。这种缺陷可以通过一般框架来克服,即,框架配备了一组可接受的世界集合(这是该框架上可能的估值范围)。我们将这种方法从经典范式导出到模态多值逻辑,方法是在给定的剩余格上定义一般(boldsymbol A)-帧(即具有可容许值集集合的普通帧)。我们详细描述了一般Kripke与邻域(boldsymbol A\)-框架之间的关系,并证明了如果(boldsymbol A~)的逻辑是有限的,则对应的逻辑E的所有扩张都是与一般邻域框架相对应的完备的。我们的工作为当前的研究趋势提供了一种新的方法,即为非经典模态逻辑推广关系语义以规避公理化问题。

MSC公司:

03B52号 模糊逻辑;模糊逻辑
03B45号 模态逻辑(包括规范逻辑)
03B50号 多值逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bandler W,Kohout LJ(1978)模糊关系积和模糊蕴涵算子。参加:模糊推理理论与应用国际研讨会。伦敦大学玛丽女王学院·Zbl 0435.68042号
[2] BŞhounek L,Cintula P(2005)模糊类理论。模糊集系统154(1):34-55·Zbl 1086.03043号 ·doi:10.1016/j.fss.2004.12.010
[3] Běhounek L,DaňkováM(2009)《模糊类理论中的关系构成》。模糊集系统160(8):1005-1036·Zbl 1185.03079号 ·doi:10.1016/j.fss.2008.06.013
[4] Bierman GM,de Paiva V(2000)《直觉主义模态逻辑》。螺柱日志65(3):383-416·Zbl 0963.03033号 ·doi:10.1023/A:1005291931660
[5] BílkováM,Dostál M(2016)多值模态逻辑的表达,代数。收录于:Väänänen JA,Hirvonen Oh,de Queiroz RJBB(eds)Logic,language,information,and computation-23rd international workshop,WoLLIC 2016,第9803卷,计算机科学讲稿,第109-124页。柏林施普林格·Zbl 1478.03033号
[6] Bou F,Esteva F,Godo L(2008)探索模态多值逻辑的句法概念。数学软计算15:175-188·Zbl 1158.03314号
[7] Bou F,Esteva F,Godo L,Rodríguez RO(2011)关于有限剩余格上的最小多值模态逻辑。J测井计算21(5):739-790·Zbl 1252.03040号 ·doi:10.1093/log.com/exp062
[8] Caicedo X,Rodríguez RO(2010)《标准哥德尔模态逻辑》。螺柱日志94(2):189-214·Zbl 1266.03030号 ·doi:10.1007/s11225-010-9230-1
[9] Caicedo X,Rodríguez RO(2015)\[[0,1]\][0,1]值kripke框架上的双模哥德尔逻辑。日志计算25(1):37-55·Zbl 1371.03035号 ·doi:10.1093/log.com/exs036
[10] Caicedo X,Metcalfe G,Rodríguez RO,Rogger J(2017),基于订单的模态逻辑的可决定性。计算机系统科学杂志88:53-74·Zbl 1423.03056号 ·doi:10.1016/j.jcss.2017.03.012
[11] Chellas BF(1980)《模态逻辑:导论》。剑桥大学出版社·Zbl 0431.03009号 ·doi:10.1017/CBO9780511621192
[12] Cintula P,Noguera C(2018)蕴涵(半线性)逻辑III:完备性属性。Arch数学日志57:391-420·Zbl 1522.03036号 ·doi:10.1007/s00153-017-0577-0
[13] Cintula P,Noguera C(2018)模态多值逻辑的邻域语义。模糊集系统345:99-112·Zbl 1397.03027号 ·doi:10.1016/j.fss.2017.10.009
[14] Cintula P、Fermüller C.G、Hájek、P、Noguera C(eds)(2015)《数学模糊逻辑手册》(三卷),第37、38和58卷,逻辑、数学逻辑和基础研究。学院出版物,伦敦,第2011卷
[15] 拟合M(1992)多值模态逻辑。Fundam新闻15:235-254·Zbl 0745.03018号
[16] 拟合M(1992)多值模态逻辑II。Fundam信息17:55-73·Zbl 0772.03006号
[17] Fuhrmann A(1990)相关模态逻辑模型。螺柱日志49(4):501-514·Zbl 0726.03011号 ·doi:10.1007/BF00370161
[18] Galatos N,Jipsen P,Kowalski T,Ono H(2007)剩余格:子结构逻辑的代数一瞥,第151卷。阿姆斯特丹爱思唯尔·Zbl 1171.03001号
[19] Hájek P(1998)《模糊逻辑的元数学》,第4卷。多德雷赫特·克鲁沃·Zbl 0937.03030号
[20] Hájek P(2010)关于模糊模态逻辑S5。模糊集系统161(18):2389-2396·Zbl 1210.03020号 ·doi:10.1016/j.fss.2009.11.011
[21] Hansoul G,Teheux B(2013)用模态扩展Łukasiewicz逻辑:关系语义的代数方法。螺柱日志101(3):505-545·Zbl 1272.03100号 ·doi:10.1007/s11225-012-9396-9
[22] 列支敦士登,I。;诺拉,A。;Cintula,P.(编辑);Hájek,P.(编辑);Noguera,C.(编辑),《ukasiewicz逻辑和MV-algebras》,第38期,469-583(2011),伦敦·Zbl 1284.03178号
[23] Marti M,Metcalfe G(2014)多值模态逻辑的Hennessy-Milner属性。收录:GoréR、Kooi B、Kurucz A(编辑)《模态逻辑进展》,第10卷。伦敦大学出版社,第407-420页·Zbl 1385.03024号
[24] Metcalfe G,Olivetti N(2011)走向哥德尔模态逻辑的证明理论。日志方法计算科学7:1-27·Zbl 1266.03044号 ·doi:10.2168/LMCS-7(2:10)2011年
[25] Montague R(1970)《通用语法》。理论36(3):373-398·Zbl 0243.0202号 ·doi:10.1111/j.1755-2567.1970.tb00434.x
[26] Restall G(2000)《子结构逻辑导论》。纽约州劳特利奇·Zbl 1028.03018号 ·电话:10.4324/9780203252642
[27] Rodríguez RO,Godo L(2013)《具有模糊邻域语义的模态不确定性逻辑》。In:Godo L,Prade H,Qi G(编辑)IJCAI-13人工智能加权逻辑研讨会(WL4AI-2013),第79-86页
[28] Rodríguez RO,Godo L(2015)《信念的模糊模态逻辑》\[{KD}45(\cal{A})\]KD45(A)和\[{Prob}\]Prob(\[_n)\]n):公理化和邻域语义。In:Finger M、Godo L、Prade H、Qi G(编辑)IJCAI-15人工智能加权逻辑研讨会(WL4AI-2015),第64-71页
[29] Routey R,Meyer RK(1972),蕴含语义学-II。J Philos日志1(1):194-243·Zbl 0317.02018号 ·文件编号:10.1007/BF00649991
[30] 斯科特·D。;Lambert,K.(编辑),《模态逻辑建议》,143-173(1970),多德雷赫特·doi:10.1007/978-94-010-3272-8_7
[31] Vidal A(2015)关于基于有理常数的t-范数逻辑的模态展开。巴塞罗那大学博士论文
[32] Vidal A,Esteva F,Godo L(2017)《产品模糊逻辑的模态扩展》。J测井计算27(1):299-336·Zbl 1390.03025号 ·doi:10.1093/log.com/exv046
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。