×
刘易斯·史密斯，A。;奥利瓦，P。;罗宾逊，E。

直觉主义逻辑的克里普克语义。 （英语） Zbl 1487.03027号

螺柱日志。 第2期第109页，第313-339页（2021）.
通过使用偏序集和构造S.Bova公司和F.蒙塔格纳【Theor.Comput.Sci.410，No.12-13，1143-1158（2009；Zbl 1159.03045号)]，作者为他们所称的直觉主义Lukasiewicz逻辑定义了一个Kripke结构，对应于直觉主义和Lukasiweicz逻辑的一个常见片段，也用GBL（{ewf}）表示。在所提出的Kripke模型中，世界中公式的求值是[0,1]中的一个数字，每个变量都与世界集合[0,1]的一个函数相关联，该函数是{\em slopping}函数，即，只要世界上的值大于0，那么它就在所有后续世界上取1。通过使用偏序集构造，证明了这种语义的正确性和完备性。
审核人：布鲁内拉·格拉（瓦雷斯）

引用于2文件

MSC公司：

03B20型 经典逻辑子系统（包括直觉逻辑）
03B50号 多值逻辑

关键词：

Łukasiewicz逻辑;直觉主义Łukasiewicz逻辑;克里普克语义学;GBL代数

引文：

Zbl 1159.03045号
PDF格式BibTeX公司 XML格式引用
\textit{A.Lewis-Smith}等人，研究日志。109，编号2，313-339（2021；兹bl 1487.03027）
全文： 内政部

参考文献：

[1] Bova，S.和F.Montagna，《哈耶克基本逻辑中的证明搜索》。ACM事务处理。计算。日志。9:21:1-21:26, 2008. ·Zbl 1367.03024号
[2] Bova，S。；Montagna，F.，交换GBL-代数逻辑中的结果关系是PSPACE-complete，理论计算机科学，410，12，1143-1158（2009）·Zbl 1159.03045号 ·doi:10.1016/j.tcs.2008.10.024
[3] Ciabattoni，A.，论Urquhart的C逻辑。第30届IEEE多值逻辑国际研讨会，ISMVL 2000，美国俄勒冈州波特兰，2000年5月23日至25日，IEEE计算机学会学报，2000年，第113-120页。
[4] Ciabattoni，A.和C.G.Fermüller，Hypersequents作为Urquhart的C、MTL和相关逻辑的统一框架。在第31届IEEE多值逻辑国际研讨会上，ISMVL 2001，波兰华沙，2001年5月22日至24日，《IEEE计算机学会学报》，2001年，第227-232页。
[5] Cignoli，R。；埃斯特娃，F。；戈多，L。；Torrens，A.，《基本模糊逻辑是连续t-范数及其残差的逻辑》，《软计算》，4，2，106-112（2000）·doi:10.1007/s005000000044
[6] Hájek，P.，基本模糊逻辑和BL-代数，软计算，2，3，124-128（1998）·doi:10.1007/s005000.50043
[7] 吉普森，P。；Montagna，F.，关于广义BL-代数的结构，代数普遍性，55，2，227-238（2006）·兹比尔1109.06011 ·文件编号：10.1007/s00012-006-1960-6
[8] Kripke，S.A.，《直觉主义逻辑的语义分析I.In J.N.Crossley and M.A.E.Dummett，（eds.），Formal Systems and Recursive Functions，Studies In logic and the Foundations of Mathematics》第40卷，Elsevier，1965年，第92-130页·兹伯利0137.00702
[9] Kułacka，A.，基本模糊逻辑的Tableau演算BL。载于A.Laurent、O.Strauss、A.Bouchon-Meunier和R.R.Yager（编辑），《基于知识的系统中的信息处理和不确定性管理》。Springer International Publishing，Cham，2014年，第325-334页·Zbl 1385.68008号
[10] Kułacka，A.，命题模糊逻辑：表和强完备性。2017年，英国伦敦帝国理工学院博士论文。
[11] Kułacka，A.、D.Pattinson和L.Schröder，《为Łukasiewicz fuzzy ALC标记的句法表》。2013年8月3日至9日，第23届国际人工智能联合会议记录，中国北京，IJCAI 2013，第962-968页。
[12] Méndez，J.M.和F.Salto，Urquhart的C带有直觉主义否定：Dummett的LC没有收缩公理。圣母院J.形式逻辑36（3）：407-4131995年7月·Zbl 0838.03019号
[13] Negri，S.，《模态逻辑中的证明分析》，《哲学逻辑杂志》，34，5-6，507-544（2005）·Zbl 1086.03045号 ·doi:10.1007/s10992-005-2267-3
[14] Negri，S.和J.von Plato，《证据分析：对希尔伯特最后一个问题的贡献》。剑桥大学出版社，2011年·Zbl 1247.03001号
[15] Olivetti，N.，《关于Łukasiewicz无限值逻辑的表》，Studia Logica，73，1，81-111（2003）·Zbl 1015.03032号 ·doi:10.1023/A:1022989323091
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。