杨恩斯克 关联逻辑的代数克里普克式语义。 (英语) Zbl 1335.03025号 J.菲洛斯。日志。 43,第4期,803-826(2014). 摘要:本文讨论了一种克里普克风格的语义学,我们称之为代数克里普克式语义学,用于关联逻辑。我们首先回顾相关蕴涵的逻辑R和一些密切相关的系统,它们对应的代数结构,以及代数完备性结果。我们提供了更简单的代数完备性证明。然后,我们为这些系统介绍了各种类型的代数Kripke式语义,并将它们与代数语义联系起来。 引用于三文件 MSC公司: 03B47号 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑) 03B50号 多值逻辑 关键词:代数克里普克式语义学;代数语义学;多值逻辑;关联逻辑;核完工 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang},J.Philos。日志。43,第4号,803--826(2014;Zbl 1335.03025) 全文: 内政部 参考文献: [1] Allwein,G.和Dunn,J.M.(1993年)。线性逻辑的克里普克模型。符号逻辑杂志,58514-545·兹伯利0795.03013 ·doi:10.307/275217 [2] Anderson,A.R.和Belnap,N.D.(1975年)。隐含:相关性和必然性的逻辑(第一卷)。普林斯顿:普林斯顿大学出版社·Zbl 0323.02030号 [3] Anderson,A.R.,Belnap,N.D.,Dunn,J.M.(1992)。隐含:相关性和必然性的逻辑(第2卷)。普林斯顿:普林斯顿大学出版社·Zbl 0921.03025号 [4] Bimbo,K.和Dunn,J.M.(2002年)。四值逻辑。《圣母院形式逻辑杂志》,42171-192·Zbl 1034.03021号 [5] Bimbo,K.和Dunn,J.M.(2008年)。广义伽罗瓦逻辑。斯坦福德:CSLI·Zbl 1222.03001号 [6] Brady,R.(1991)。一些无收缩相关逻辑的温和化和可判定性。哲学逻辑杂志,2097-117·Zbl 0725.03007号 ·doi:10.1007/BF00454743 [7] Brady,R.(1991)。无分布的相关逻辑的绅士化I.符号逻辑杂志,61353-378·Zbl 0862.03012号 ·doi:10.2307/2275666 [8] Brady,R.(1991)。无分布相关逻辑的绅士化2。符号逻辑杂志,61379-401·Zbl 0862.03013号 ·doi:10.2307/2275667 [9] Brady,R.(Ed.)(2003)《相关逻辑及其竞争对手》(第2卷)。伯灵顿:阿什盖特·Zbl 1398.03011号 [10] Burris,S.和Sankappanaver,H.P.1981年。通用代数课程。纽约:斯普林格·Zbl 0478.08001号 ·doi:10.1007/978-1-4613-8130-3 [11] Cintula,P.(2006年)。弱蕴涵(模糊)逻辑I:基本性质。数学逻辑档案,45673-704·Zbl 1101.03015号 ·doi:10.1007/s00153-006-0011-5 [12] Cintula,P.、Esteva,F.、Gispert,J.、Godo,L.、Montagna,F.和Noguera,C.(2009)。基于t-范数的模糊逻辑的区别代数语义。《纯粹逻辑与应用逻辑年鉴》,160,53-81·Zbl 1168.03052号 ·doi:10.1016/j.apal.2009.012 [13] Cintula,P.和Noguera,C.(2011年)。数学模糊逻辑的一般框架。P.Cintula,P.Hájek,C.Noguera(编辑),《数学模糊逻辑手册》(第1卷,第103-207页)。伦敦:学院出版物·Zbl 1284.03177号 [14] Czelakowski,J.(2001)。原代数逻辑。多德雷赫特:克鲁沃·Zbl 0984.0302号 ·doi:10.1007/978-94-017-2807-2 [15] Davey,B.A.和Priestley,H.A.(2002年)。格与序导论,第二版,剑桥:剑桥大学出版社·兹比尔1002.06001 ·doi:10.1017/CBO9780511809088 [16] Diaconescu,D.和Georgescu(2007)。基于单体t-范数逻辑的强制语义。《通用计算机科学杂志》,第13期,1550-1572页。 [17] Došen,K.(1988)。序列系统和广群模型I.Studia Logica,47,353-385·Zbl 0671.03018号 ·doi:10.1007/BF00671566 [18] Došen,K.(1989)。序列系统和广群模型2。Studia Logica,48,41-65·Zbl 0688.03012号 ·doi:10.1007/BF00370633 [19] Dunn,J.M.(1970)。R-Mingle的代数完备性及其推广。符号逻辑杂志,35,1-13·Zbl 0231.02024 ·doi:10.2307/2271149 [20] 邓恩,J.M.(1976)。使用二进制可访问性关系的R-Mingle的Kripke风格语义。Studia Logica,第35页,第163-172页·Zbl 0328.02010 ·doi:10.1007/BF02120878 [21] Dunn,J.M.(1986)。关联逻辑和蕴涵。D.Gabbay和F.Guenthner(编辑),《哲学逻辑手册》(第117-224页)。多德雷赫特:雷德尔·Zbl 0875.03051号 [22] Dunn,J.M.(2000)。偏爱及其双重性。Studia Logica,66,5-40·Zbl 0988.03012号 ·doi:10.1023/A:1026740726955 [23] 邓恩,JM;Restall,G。;Gabbay,D.(编辑);Guenthner,F.(编辑),关联逻辑,1-128(2002),多德雷赫特·doi:10.1007/978-94-017-0460-1_1 [24] Dzobiak,W.(1981)。逻辑部分的E.Bulletin的邻域不存在可数强适当矩阵语义,10177-180·Zbl 0492.03029号 [25] Esteva,F.和Godo,L.(2001)。基于单体t-范数的逻辑:走向一种左旋t-范本的逻辑。模糊集与系统,124271-288·Zbl 0994.03017号 ·doi:10.1016/S0165-0114(01)00098-7 [26] Fine,K.(1974年)。包含的模型。哲学逻辑杂志,3347-372·Zbl 0296.02013.中 ·doi:10.1007/BF00257480 [27] Fine,K.(1988年)。量化关联逻辑的语义。哲学逻辑杂志,17,27-59·Zbl 0646.03013号 ·doi:10.1007/BF00249674 [28] Galatos,N.、Jipsen,P.、Kowalski,T.、Ono,H.(2007年)。剩余格:子结构逻辑的代数一瞥。阿姆斯特丹:爱思唯尔·Zbl 1171.03001号 [29] Galatos,N.和Ono H.(2006年)。FL上子结构逻辑的代数化、参数化局部演绎定理和解释。Studia Logica,83,279-308·Zbl 1105.03021号 ·数字对象标识代码:10.1007/s11225-006-8305-5 [30] Galatos,N.和Ono,H.(2006年)。FL上子结构逻辑的Glivenko定理。符号逻辑杂志,711353-1384·兹比尔1109.03016 ·数字对象标识代码:10.2178/jsl/11640460 [31] Hájek,P.(1998年)。模糊逻辑的元数学。阿姆斯特丹:Kluwer·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3 [32] 小森,Y.(1986)。没有结构规则的谓词逻辑。Studia Logica,第45页,第393-404页·Zbl 0619.03009号 ·doi:10.1007/BF00370272 [33] Kripke,S.(1963年)。模态逻辑的语义分析I:正规模态命题演算。Zeitschrift für mathematische Logik und Grundlagen der Mathematik,967-96·Zbl 0118.01305号 [34] 克里普克,S。;Crossley,J.(编辑);Dummett,M.(编辑),直觉主义逻辑的语义分析I,92-129(1965),阿姆斯特丹·doi:10.1016/S0049-237X(08)71685-9 [35] 克里普克,S。;Addison,J.(编辑);Henkin,L.(编辑);Tarski,A.(编辑),模态逻辑的语义分析II(1965),阿姆斯特丹 [36] Metcalfe,G.和Montagna,F.(2007)《亚结构模糊逻辑》。符号逻辑杂志,72834-864·Zbl 1139.03017号 ·doi:10.2178/jsl/1191333844 [37] Meyer,R.K.,Dunn,J.M.,Leblanc,H.(1976年)。相关量化理论的完整性。《圣母院形式逻辑期刊》,第15期,97-121页·兹伯利0272.02028 ·doi:10.10305/ndjfl/1093891202 [38] Montagna,F.和Ono,H.(2002年)。Esteva和Godo逻辑MTL∀的Kripke语义、不确定性和标准完整性。Studia Logica,71,227-245·Zbl 1013.03021号 ·doi:10.1023/A:1016500922708 [39] Montagna,F.和Sacchetti,L.(2003)。多值逻辑的克里普克式语义。《数理逻辑季刊》,49,629-641·Zbl 1035.03010号 ·doi:10.1002/malq.200310068 [40] Montagna,F.和Sacchetti,L.(2004)。多值逻辑的克里普克式语义勘误表。《数理逻辑季刊》,50,104-107·Zbl 1039.03013号 ·doi:10.1002/malq.200310081 [41] Niefield,S.B.和Rosental,K.I.(1988年)。从quantales构建语言环境。剑桥哲学学会数学学报,104,215-234·Zbl 0658.06007号 ·doi:10.1017/S0305004100065403 [42] Novak,V.(1990年)。关于一阶模糊逻辑I、II的句法语义完备性。凯贝内提卡,26,47-66·Zbl 0705.03009号 [43] Ono,H.(1985)。没有收缩规则的谓词逻辑的语义分析。Studia Logica,第44页,第187-196页·Zbl 0595.03019号 ·doi:10.1007/BF00379766 [44] Ono,H.(1992)。逻辑的代数方面,没有结构规则。L.A.Bokut,Y.L.Ershov,O.H.Kegal,A.I.Kostrikin(编辑),当代数学,第131卷(第3部分),纪念A.Mal'cev的国际代数会议记录(第601-621页)。新西伯利亚,1989:美国数学学会·Zbl 0778.03003号 [45] 小野,H。;Schroeder-Heister,P.(编辑);Dosen,K.(编辑),《子结构逻辑的语义》,259-291(1993),牛津·Zbl 0941.03522号 [46] Ono,H.和Komori,Y.(1985年)。没有收缩规则的逻辑。符号逻辑期刊,50169-201·Zbl 0583.03018号 ·doi:10.2307/2273798 [47] Read,S.(1988年)。相关逻辑。牛津:巴兹尔·布莱克威尔。 [48] Restall,G.(1995)。相关逻辑(以及一些竞争对手)的四值语义。哲学逻辑杂志,24139-160·Zbl 0815.03014号 ·doi:10.1007/BF01048529 [49] Restall,G.(2000)。子结构逻辑导论。纽约:劳特利奇出版社·Zbl 1028.03018号 [50] Rosental,K.I.(1990年)。关于Girard quantales的注释。Cahiers de Topologie et Géometrie Différentielle Catégoriques,31,3-11·Zbl 0713.06005号 [51] Rosental,K.I.(1990年)。Quantales及其应用。皮特曼数学系列研究笔记,第234卷,朗曼科技·Zbl 0703.06007号 [52] Routey,R.和Meyer,R.K.(1972年)。蕴涵的语义(二)。哲学逻辑杂志,153-73·Zbl 0317.02018号 ·doi:10.1007/BF00649991 [53] Routey,R.和Meyer,R.K.(1972年)。蕴涵的语义(三)。《哲学逻辑杂志》,192-208年第1期·Zbl 0317.02019 ·doi:10.1007/BF00650498 [54] Routey,R。;RK梅耶;Lebranc,H.(编辑),蕴含语义(I),199-243(1973),阿姆斯特丹·兹比尔0317.02017 ·doi:10.1016/S0049-237X(08)71541-6 [55] Routley,R.、Plumwood,V.、Meyer,R.K.、Brady,R.(1982年)。相关逻辑及其竞争对手(第1卷)。阿塔斯卡德罗:Ridgeview Publ。公司·Zbl 0579.03011号 [56] Thomason,R.H.(1969年)。对构式错误的语义研究。Zeitschrift für mathematische Logik und Grundlagen der Mathematik,第15页,第247-257页·Zbl 0181.00901号 ·doi:10.1002/malq.19690151602 [57] Urquhart,A.(1972年)。相关逻辑的语义。符号逻辑杂志,37159-169·Zbl 0245.02028号 ·doi:10.2307/2272559 [58] Urquhart,A。;Gabbay,D.(编辑);Guenthner,F.(编辑),多值逻辑,71-116(1986),多德雷赫特·Zbl 0875.03054号 ·doi:10.1007/978-94-009-5203-4_2 [59] Yang,E.(2002)。T-R、TE-R、TEc-R,《逻辑部分公报》,第31期,第171-181页·Zbl 1032.03016号 [60] Yang,E.(2004)。一些弱布尔逻辑的Routey-Meyer语义和一些翻译。IGPL逻辑杂志,12,355-369·邮编1074.03008 ·doi:10.1093/jigpal/12.5.355 [61] Yang,E.(2009)。E,R,T.Logique et Analyse,207,255-280的一些邻居的(基于星的)四值Kripke式语义·Zbl 1191.03016号 [62] Yang,E.(2012)。伪布尔逻辑和弱布尔逻辑的(基于星的)三值克里普克式语义。IGPL逻辑杂志,20187-206·Zbl 1259.03033号 ·doi:10.1093/jigpal/jzr030 [63] Yang,E.(2012)。UL的Kripke风格语义。《韩国逻辑杂志》,15,1-15。 [64] Yang,E.(2012)。R、 模糊R和代数Kripke-style语义。《韩国逻辑杂志》,第15期,207-221页。 [65] Yang,E.(2012)。重新审视R和相关性原则。哲学逻辑杂志。doi:10.1007/s10992-012-9747-1·Zbl 0245.02028号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。