古拉姆·贝扎尼什维利;卫斯理·H·霍利迪。 直觉逻辑的语义层次结构。 （英语） Zbl 07049867号 印度。数学。，新序列号。 30，第3期，403-469（2019）。 概述：布鲁尔关于数学基础的观点启发了直觉主义逻辑的研究，包括直觉主义命题演算及其扩展的研究。这些系统的理论已经成为一个独立的逻辑分支，与格理论、拓扑、模态逻辑和其他领域有联系。本文旨在提出直觉命题系统语义的现代解释。指导思想是语义层次，通过增加通用性来组织：从最不通用的克里普克语义到贝斯语义、拓扑语义、德拉加林语义，最后到最通用的代数语义。虽然克里普克语义学、拓扑语义学和代数语义学已经得到了广泛的研究，但贝思语义学与德拉加林语义学却很少受到关注。我们突出了Beth和Dragalin语义，将它们与无点拓扑中的核心概念联系起来，这为语义层次提供了一个统一的视角。 引用于10文件 数学溢出问题： 基于正则但非线性的拓扑空间的一个例子 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：直觉逻辑;中间逻辑;克里普克语义学;Beth语义;拓扑语义学;代数语义学;海廷代数;区域设置;核 软件：数学溢出 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{W.H.Holliday}，印度。数学。，新序列号。30，第3号，403--469（2019；Zbl 07049867） 全文： 内政部 链接 参考文献： [1] Alechina，N。；Mendler，M。；德佩瓦，V。；Ritter，E.，《构造S4模态逻辑的范畴和克里普克语义》，《计算讲义》。科学。，2142, 292-307 (2001) ·Zbl 1005.03024号 [2] Alexandroff，P.，Diskrete Räume，Mat.Sbornik（N.S.），第44、3、501-519页（1937年） [3] Allwein，G。；MacCaull，W.，《Gelfand量子数逻辑的Kripke语义》，Studia Logica，68，173-228（2001）·Zbl 0992.03080号 [4] 阿尔特莫夫，S.N。；Beklemishev，L.D.，可论证逻辑，（Gabbay，D.；Guenthner，F.，哲学逻辑手册，第13卷（2005年），施普林格：施普林格-多德雷赫特），229-403 [5] van Atten，M.，《直觉主义逻辑的发展》（Zalta，Edward N.，《斯坦福大学哲学百科全书》（2014）） [6] de Beer，B.，2012年。乌得勒支大学学士论文《Beth模型的框架特性》。；de Beer，B.，2012年。贝思模型的框架特性，乌得勒支大学学士论文。 [7] van Benthem，J.，对应理论，（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第3卷（2001），施普林格：施普林格-多德雷赫特），325-408·Zbl 1003.03518号 [8] van Benthem，J.，《直觉逻辑中的信息》，《综合》，167，2，251-270（2009）·Zbl 1172.03312号 [9] van Benthem，J.，《开放思维的模态逻辑》（2010），CSLI出版物：CSLI出版社斯坦福 [10] van Benthem，J.，《建构主义：行动中的知识》，印度。数学。（N.S.）（2019年），（本卷） [11] van Benthem，J。；北卡罗来纳州贝扎尼什维利。；霍利迪，《可能性语义学的双峰视角》，《逻辑计算》。，27, 5, 1353-1389 (2017) ·Zbl 1444.03077号 [12] Benton，P.N。；比尔曼，G.M。；Paiva，V.C.V.De，《逻辑视角下的计算类型》，J.Funct。编程，8，2，177-193（1998）·Zbl 0920.03023号 [13] Beth，E.W.，直觉主义逻辑的语义构建，Meded。K.内德.阿卡德。潮湿。，19357-388年11月19日（1956年）·Zbl 0073.24903号 [14] Beth，E.W.，《数学基础》（1964），《哈珀与罗：纽约哈珀和罗》 [15] Bezhanishvili，G。；北卡罗来纳州贝扎尼什维利。；Lucero-Bryan，J。；van Mill，J.，S4.3和遗传极不连通空间，格鲁吉亚数学。J.，22，4，469-475（2015）·Zbl 1330.03040号 [16] Bezhanishvili，G.，Gabelaia，D.，Holliday，W.H.，Jibladze，M.，2019年。完备格的表示和Funayama嵌入，准备中。；Bezhanishvili，G.，Gabelaia，D.，Holliday，W.H.，Jibladze，M.，2019年。完整格的表示和Funayama嵌入，准备中。 [17] Bezhanishvili，G。；Holliday，W.H.，Locales，nucleus，and Dragalin frames，（Beklemishev，L.；Demri，S.；Máté，A.，《模态逻辑进展》，第11卷（2016），大学出版物：伦敦大学出版物），177-196·兹比尔1400.03024 [18] Bezhanishvili，G.，Holliday，W.H.，2019年。开发框架，准备中。；Bezhanishvili，G.，Holliday，W.H.，2019年。开发框架，准备中。 [19] 北贝扎尼什维利，德容，D.，2006年。直觉逻辑，URLhttps://eprints.illc.uva.nl/2001/PP-2006-25.text.pdf; 北贝扎尼什维利，德容，D.，2006年。直觉逻辑，URLhttps://eprints.illc.uva.nl/2001/PP-2006-25.text.pdf [20] Birkhoff，G.，格理论（1940），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0063.00402号 [21] Birkhoff，G.，格理论（1967），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0126.03801号 [22] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 0988.03006号 [23] Blok，W.J.，《内代数的多样性》（1976），阿姆斯特丹大学（博士论文） [24] Bredon，G.E.，（拓扑与几何学，拓扑与几何，数学研究生教材，第139卷（1993），Springer:Springer New York）·兹比尔0791.55001 [25] Brouwer，L.E.J.，De onbetrowbaarheid der logische principles，Tijdschr。Wijsbegeerte，2，152-158（1908），arXiv英语翻译：1511.01113 [26] Brouwer，L.E.J.，直觉主义分裂van mathematische grondbegrippen，KNAW Verslagen，32，877-880（1923），Mancosu的英文翻译，1998年，第286-289页 [27] Burris，S.N。；Sankappanavar，H.P.，《通用代数课程》（1981），施普林格出版社：施普林格出版社，纽约，网址https://www.math.uwaterloo.ca网站/snburris/htdocs/ualg.html·Zbl 0478.08001号 [28] 查格罗夫，A。；Zakharyaschev，M.，中间命题逻辑的模态同伴，《逻辑研究》，51，1，49-82（1992）·Zbl 0766.03015号 [29] 查格罗夫，A。；Zakharyaschev，M.（模态逻辑，模态逻辑，牛津逻辑指南，第35卷（1997），克拉伦登出版社：纽约克拉伦登出版公司）·Zbl 0871.03007号 [30] Cohen，P.J.，《集合理论与连续统假设》（1966），W.A.Benjamin:W.A.本杰明纽约·Zbl 0182.01301号 [31] van Dalen，D.，《直觉分析的解释》，《数学年鉴》。日志。，13, 1, 1-43 (1978) ·Zbl 0399.03049号 [32] van Dalen，D.，《如何粘合分析模型》，符号逻辑杂志，49，41339-1349（1984）·Zbl 0576.03038号 [33] van Dalen，D.，直觉主义逻辑，（Gobble，L.，The Blackwell Guide to Philosophica logic（2001），Blackwell:Blackwell Oxford），224-257·Zbl 1002.03053号 [34] van Dalen，D.，直觉主义逻辑，（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第5卷（2002），Springer:Springer-Dordrecht），1-114·Zbl 1065.03001号 [35] Davey，B.A.，《关于子变种的格》，休斯顿J.数学。，5, 2, 183-192 (1979) ·Zbl 0396.08008号 [36] Davey，B.A。；Priestley，H.A.，《格与秩序导论》（2002），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 1002.06001号 [37] Davis，S.W.，具有线性有序局部基的空间，拓扑程序。，3, 37-51 (1978) ·Zbl 0413.54025号 [38] Dragalin，A.G.，（Matematicheskii Intuitsionizm:Vvedenie v Teoriyu Dokazatelstv.Matematiccheskii Intiutsionizm：Vvedeniev Teoriy Dokazatelstv，Matematichelskaya Logika i Osnovaniya Matematiki（1979），“瑙卡”，莫斯科）·Zbl 0439.03041号 [39] Dragalin，A.G.，（数学直觉主义：证明理论导论。数学直觉主义，证明理论导言，数学专著翻译，第67卷（1988），美国数学学会，普罗维登斯，RI）·Zbl 0634.03054号 [40] Dummett，M.，《矩阵可数的命题演算》，J.符号逻辑，2497-106（1959）·Zbl 0089.24307号 [41] Dummett，M.，《建设性观点的真理》，Theoria，64，2-3122-138（1998） [42] Dummett，M.，《直觉主义的要素》（2000），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0949.03059号 [43] 达米特，M。；Lemmon，E.J.，S4和S5之间的模态逻辑，Z.数学。Logik Grundlagen数学。，5, 250-264 (1959) ·Zbl 0178.30801号 [44] Dunn，J.M。；Meyer，R.K.，Dummett（LC）及其扩展的代数完备性结果，Z.Math。Logik Grundlagen数学。，17, 225-230 (1971) ·Zbl 0252.02018号 [45] Esakia，L.，Heyting代数I.对偶理论（1985），Metsniereba出版社：Metsniererba出版社，第比利斯（俄罗斯）·Zbl 0601.06009 [46] 费尔特洛，M。；Mendler，M.，命题松弛逻辑，Inform。和计算。，137, 1, 1-33 (1997) ·Zbl 0889.03015号 [47] 费尔特洛，M。；Mendler，M.，《计算类型理论的逻辑内容：Curry问题的解决方案》，（证明和程序的类型（Durham，2000）。证明和程序的类型（达勒姆，2000），计算机科学讲义，第2277卷（2002），施普林格：施普林格柏林），63-78·Zbl 1054.03027号 [48] Fine，K.，直觉逻辑的真理制造者语义，J.Phil.logic，43，24549-577（2014）·Zbl 1335.03011号 [49] Fitting，M.C.，（《直觉逻辑、模型理论与强迫》。《直觉逻辑、模型理论与强迫》，《逻辑与数学基础研究》（1969），北荷兰出版社，阿姆斯特丹-伦敦）·Zbl 0188.3203号 [50] 福曼，M.P。；Scott，D.S.，《滑轮与逻辑》（Fourman，M.P.；Mulvey，C.J.；Scott，D.S，《滑轮的应用》（1979），Springer:Springer Berlin），302-401·Zbl 0415.03053号 [51] Gabbay，D.M.，（海廷直觉主义逻辑中的语义研究。海廷直觉逻辑中的语义学研究，综合图书馆，第148卷（1981），斯普林格：斯普林格-多德雷赫特）·Zbl 0453.03001号 [52] Gabbay，D.M。；谢特曼，V.B。；Skvortsov，D.P.，《非经典逻辑中的量化：第1卷》（《逻辑和数学基础研究》，第153卷（2009年），Elsevier:Elsevier Amsterdam）·Zbl 1211.03002号 [53] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《驻留格：亚结构逻辑的代数一瞥》（Residated Lattices:A Algebraic Glimpse at Substructural Logics）（2007），Elsevier:Elsevier Amsterdam·Zbl 1171.03001号 [54] Givant，S。；Halmos，P.，布尔代数导论（2009），施普林格：施普林格纽约·Zbl 1168.06001号 [55] Glivenko，V.，《科学院M.Brouwer图书馆》。罗伊。贝尔格。牛市。科学院。，14, 225-228 (1928) [56] Glivenko，V.，《科学院M.Brouwer的苏尔奎斯点》。罗伊。贝尔格。牛市。科学院。，15183-188（1929年），满洲的英文翻译，1998年，第301-305页 [57] Gödel，K.，Zum直觉主义者Aussagenkalkül，Anzeiger Akad。威斯。维恩，69，65-66（1932），哥德尔的英文翻译，1986年，第223-225页 [58] Gödel，K.，Zur直觉主义算术和Zahlentheorie，Ergeb。数学。Kolloquiums，4，34-38（1933），哥德尔的英文翻译，1986年，第287-295页 [59] Gödel，K.，Eine interpretation des intuisticsischen Aussagenkalküls，Ergeb。数学。Kolloquiums，4，39-40（1933），哥德尔的英语翻译，1986年，第301-303页 [60] 哥德尔，K.，《作品集》（1986），牛津大学出版社：牛津大学出版社纽约·Zbl 0592.01035号 [61] Goldblatt，R.，Minkowski时空中的Diodorean模态，Studia Logica，39，2，219-236（1980）·Zbl 0457.03019号 [62] Goldblatt，R.，Grothendieck拓扑作为几何形态，Z.数学。Logik Grundlagen数学。，27, 6, 495-529 (1981) ·Zbl 0474.03018号 [63] Goldblatt，R.（托波伊：逻辑的分类分析。托波伊：逻辑的分类分析，逻辑研究和数学基础，第98卷（1984年），北荷兰：北荷兰阿姆斯特丹）·Zbl 0528.03039号 [64] Goldblatt，R.，《数学模态逻辑：其演变的观点》（Gabbay，D.M.；Woods，J.，《逻辑史手册》，第7卷（2006），Elsevier），1-98 [65] Goldblatt，R.，《量化宽松逻辑的覆盖语义》，J.logic Comput。，21, 6, 1035-1063 (2011) ·Zbl 1247.03028号 [66] Görnemann，S.，《比直觉主义更强的逻辑》，J.符号逻辑，36，2，249-261（1971）·Zbl 0276.02013 [67] Grätzer，G.，《一般格理论》（1978），学术出版社：纽约学术出版社·Zbl 0385.06015号 [68] Grayson，R.J.，Heyting-valued semantics，（Lolli，G.；Longo，G.，Marcja，A.，《82年逻辑学术讨论会》。82年逻辑学术讨论会，《逻辑和数学基础研究》，第112卷（1984年），北荷兰：北荷兰阿姆斯特丹），181-208年·Zbl 0574.03048号 [69] Grzegorczyk，A.，直觉主义逻辑的一种哲学上合理的形式解释，Indag。数学。（N.S.），26596-601（1964年）·Zbl 0131.00701号 [70] Grzegorczyk，A.，《取决于时间的断言和相应的逻辑计算》，Compos。数学。，20, 83-87 (1968) ·Zbl 0175.26302号 [71] Hanazawa，M.，在直觉逻辑中扮演tertium non-datur角色的公理模式的表征，Proc。Jpn学院。序列号。A、 421007-1010（1966年）·Zbl 0191.28601号 [72] van Heijenoort，J.，《从弗雷格到哥德尔：数理逻辑的原始资料》，1879-1931（1967），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥·兹比尔1001.03005 [73] Heyting，A.，Die formalen Regeln der直觉主义逻辑I，Sitzungsber。普鲁士阿克德。威斯。，49，42-65（1930），《曼科苏语》的英文译文，1998年，第311-327页 [74] 霍利迪，W.H.，2015年。模态逻辑、URL的可能框架和强制http://escholarship.org/uc/item/5462j5b6; 霍利迪，W.H.，2015年。模态逻辑、URL的可能框架和强制http://escholarship.org/uc/item/5462j5b6 [75] 霍利迪，W.H.，2018年。模态逻辑的可能框架和强制（2018年2月），URLhttps://escholarship.org/uc/item/0tm6b30q; 霍利迪，W.H.，2018年。模态逻辑的可能性框架和强制（2018年2月），URLhttps://escholarship.org/uc/item/0tm6b30q [76] Hosoi，T.，哥德尔的中间命题系统的公理化，东京大学。第节。IA.数学。，13, 183-187 (1966) ·Zbl 0156.00802号 [77] Hosoi，T.，哥德尔中间命题系统的可分公理化，Proc。Jpn学院。，42, 1001-1006 (1966) ·Zbl 0156.00803号 [78] Hosoi，T.，《关于中间逻辑》。一、 东京大学。第节。IA.数学。，14, 293-312 (1967) ·Zbl 0188.31602号 [79] Hosoi，T.，哥德尔（s_n）可分公理化的标准，Proc。Jpn学院。，43, 365-368 (1967) ·兹伯利0168.24901 [80] Hosoi，T.，关于中间逻辑。二、 东京大学。第节。IA.数学。，16, 1-12 (1969) [81] 细井，T。；Masuda，I.，《中间命题逻辑的第三层研究》，《逻辑研究》，52，1，15-21（1993）·Zbl 0764.03006号 [82] Hosoi，T。；小野，H.，第二层的中间逻辑，东京大学。第节。IA.数学。，17, 457-461 (1970) ·Zbl 0216.00502号 [83] Humberstone，L.，《从世界到可能性》，J.Phil.Logic，10，3，313-339（1981）·Zbl 0481.03011号 [84] Humberstone，L.，《康涅狄格州》（2011），麻省理工学院出版社：麻萨诸塞州坎布里奇·Zbl 1242.03002号 [85] Jankov，V.A.，《一些超构造命题演算》，Sov。数学。多克拉迪，41103-1105（1963）·Zbl 0143.25102号 [86] Jankov，V.A.，关于直觉命题微积分对经典微积分的扩展，以及极小微积分对直觉微积分的扩展，Math。苏联伊兹韦斯蒂亚，2,1205-208（1968）·Zbl 0191.28602号 [87] Jankov，V.A.，《强独立超直觉命题演算序列的构造》，Sov。数学。多克拉迪，9806-807（1968）·Zbl 0198.31803号 [88] Ja sh kowski，S.，Recherches sur le Système de la Logique直觉主义者，Actes CongrèS Int.Philos。科学。，6，58-61（1936年），1975年在日西科夫斯基的英语翻译 [89] Ja sh kowski，S.，《直觉主义逻辑系统的研究》，Studia Logica，34，2，117-120（1975）·Zbl 0313.02014号 [90] Jech，T.J.，集理论（2002），Springer:Springer New York [91] Johansson，I.，Der Minimalkalkül，ein reduzier直觉主义形式主义，作曲。数学。，119-136年4月（1937年） [92] Johnstone，P.T.，（Stone Spaces.Stone Spaces，剑桥高等数学研究，第3卷（1982），剑桥大学出版社：剑桥大学出版社）·Zbl 0499.54001号 [93] Johnstone，P.T.，（《逻辑与集合论笔记》，《逻辑与集论笔记》（1987），剑桥大学出版社：剑桥大学出版社）·Zbl 0642.03001号 [94] Johnstone，P.T.，《大象素描：拓朴理论简编》，第2卷（2002年），牛津大学出版社：牛津大学出版社·兹比尔1071.18001 [95] Joosten，J.J.，《亚直觉主义逻辑的语义》，《杂项逻辑》，第7期，第21-34页（2006年） [96] Kirk，R.E.，Kripke的一些类构成了直觉逻辑的特征，Z.数学。Logik Grundlagen数学。，25, 409-410 (1979) ·兹比尔0423.03042 [97] Kleene，S.C.，《关于直觉主义数论的解释》，J.符号逻辑，10，4，109-124（1945）·Zbl 0063.03260号 [98] Kleene，S.C.，《元数学导论》（1952），Van Nostrand：Van Nostrand纽约·Zbl 0047.00703号 [99] Kojima，K.，《直觉模态逻辑的关系和邻域语义》，代表数学。逻辑，47，87-113（2012）·Zbl 1320.03054号 [100] Kolmogorov，A.，O principe tertium non-datur，Matematiceskij Sbornik，32，646-667（1925），van Heijenoort的英文译文，1967年，第416-437页 [101] Kracht，M。；Wolter，F.，《正常单峰逻辑可以模拟所有其他逻辑》，J.符号逻辑，64，1，99-138（1999）·Zbl 0972.03019号 [102] Kripke，S.A.，模态逻辑的语义分析I.正规模态命题计算，Z.数学。Logik Grundl公司。数学。，9, 67-96 (1963) ·Zbl 0118.01305号 [103] Kripke，S.A.，模态逻辑的语义考虑，菲洛斯学报。芬恩。，16, 83-94 (1963) ·Zbl 0131.00602号 [104] Kripke，S.A.，直觉主义逻辑的语义分析I，（Crossley，J.N.；Dummett，M.A.E.，《形式系统和递归函数》（1965），北荷兰：北荷兰阿姆斯特丹），92-130·Zbl 0137.00702号 [105] Kuznetsov，A.V.，《论超直觉主义逻辑》，《国际数学家大会论文集》（温哥华，B.C.，1974），第1卷，243-249（1975），加拿大数学大会：加拿大数学大会，魁北克省蒙特利尔·Zbl 0342.02015号 [106] Lambek，J。；Scott，P.J.，（《高阶范畴逻辑导论》，《高等数学剑桥研究》，第7卷（1986年），剑桥大学出版社：剑桥大学出版社）·Zbl 0596.0302号 [107] Litak，T.，《不完全中间逻辑的连续体》，《众议员数学》。逻辑，36131-141（2002）·Zbl 1031.03050号 [108] López-Escobar，E.G.K.，直觉主义语义之间的等价性。一、 J.符号逻辑，46，4773-780（1981）·兹伯利0497.03047 [109] Łukasiewicz，J.，《论直觉主义演绎理论》，Indag。数学。（N.S.），202-212年4月（1952年）·Zbl 0048.00401号 [110] Macnab，D.S.，Heyting代数上的模态算子，代数大学，12，1，5-29（1981）·Zbl 0459.06005号 [111] Maksimova，L.L.，前表超直觉逻辑，代数逻辑，11，5，308-314（1972）·Zbl 0275.02027号 [112] Mancosu，P.，《从Brouwer到Hilbert：20世纪20年代数学基础的争论》（1998），牛津大学出版社：牛津大学出版社纽约·兹伯利0941.01003 [113] 马萨，G.，非经典逻辑的可能性空间、Q-完备性和Rasiowa-Sikorski引理（2016），阿姆斯特丹大学，ILLC逻辑硕士论文 [114] McKay，C.G.，《某些中间命题逻辑的可判定性》，J.符号逻辑，33，258-264（1968）·Zbl 0175.27103号 [115] 麦肯锡，J.C.C.，《证明海廷命题演算中原始符号的独立性》，J.符号逻辑，4，4，155-158（1939）·Zbl 0022.19304号 [116] 麦肯锡，J.C.C.，路易斯系统S2和S4的决策问题的解决方案，以及拓扑应用，J.符号逻辑，6，4，117-134（1941） [117] 麦肯锡，J.C.C。；塔斯基，A.，《拓扑代数》，《数学年鉴》。，45, 1, 141-191 (1944) ·Zbl 0060.06206号 [118] 麦肯锡，J.C.C。；Tarski，A.，《关于闭包代数中的闭元》，《数学年鉴》。，47, 1, 122-162 (1946) ·Zbl 0060.06207号 [119] 麦肯锡，J.C.C。；Tarski，A.，关于Lewis和Heyting句子计算的一些定理，J.符号逻辑，13,1-15（1948）·Zbl 0037.29409号 [120] 于梅德韦杰夫。T.，有限问题，Sov。数学。Doklady，3，1，227-230（1962）·Zbl 0286.02028号 [121] 于梅德韦杰夫。T，通过有限问题解释逻辑公式及其与可实现性理论的关系，Sov。数学。多克拉迪，4，1，180-183（1963）·Zbl 0218.02048号 [122] 于梅德韦杰夫。T.，通过有限问题解释逻辑公式，Sov。数学。多克拉迪，7，4，857-860（1966）·Zbl 0192.03801号 [123] Mints，G.，《建设性否定注释》，综合，148，3，701-717（2006）·Zbl 1108.03057号 [124] 蒙塔古，R.，《普遍语法，理论》，36，3，373-398（1970）·兹布尔0243.02002 [125] Monteiro，A.A.，Axiomes indépendants pour les algèbres de Brouwer，Rev.Un。Mat.Argentina，第17页，第149-160页（1955年）·Zbl 0072.25004号 [126] Moschovakis，J.R.，《Brouwer和Heyting的逻辑》，（Gabbay，D.M.；Woods，J.，《逻辑历史手册》，第5卷（2009年），爱思唯尔：爱思唯尔阿姆斯特丹），77-126 [127] Nadel，M.E.，《从古典观点看无穷直觉逻辑》，数学出版社。日志。，14, 159-191 (1978) ·Zbl 0406.03055号 [128] Nagata，S.，皮尔士规则的一系列连续修改，Proc。Jpn学院。，42, 859-861 (1966) ·Zbl 0192.02803号 [129] Ono，H.，子结构逻辑的语义，（Schroeder-Heister，P.；Došen，K.，《子结构逻辑》（1993），牛津大学出版社：牛津大学出版社，纽约），259-291·Zbl 0941.03522号 [130] 奥尔洛夫，I.E.，命题相容性演算，数学。苏联，斯博尼克，35，263-286（1928），（俄语） [131] Picado，J。；Pultr，A.，（框架和区域设置：无点拓扑。框架和区域设：无点的拓扑，数学前沿（2012），Birkhäuser:Birkháuser Basel）·Zbl 1231.06018号 [132] Plisko，V.，《科尔莫戈罗夫微积分作为微积分的一部分》，《俄罗斯数学》。调查，43，6，95-110（1988）·兹标0672.01022 [133] Plisko，V.，命题可实现性逻辑综述，布尔。符号逻辑，15，1，1-42（2009）·Zbl 1170.03005号 [134] Rabinowicz，W.，《直觉主义真理》，J.Phil.Logic，第14、2、191-228页（1984年）·Zbl 0574.03047号 [135] Rasiowa，H.，《非经典逻辑的代数方法》（1974年），北荷兰：北荷兰阿姆斯特丹·Zbl 0299.02069号 [136] 拉西奥瓦，H。；Sikorski，R.（《元数学的数学》，《元数学数学》，Monografie Matematyczne，Tom 41（1963），Pa an stwowe Wydawnictwo Naukow，Warsaw）·Zbl 0122.24311号 [137] Restall，G.，《亚结构逻辑导论》（2000），Routledge:Routledge New York·Zbl 1028.03018号 [138] Rose，G.F.，命题演算和可实现性，Trans。阿默尔。数学。《社会学杂志》，75，1，1-19（1953）·Zbl 0053.19901号 [139] Rosenthal，K.I.，（Quantales及其应用，Quantale及其应用，Pitman Research Notes in Mathematics Series，vol.234（1990），John Wiley&Sons，Inc.：John Willey&Sons公司，纽约）·Zbl 0703.06007号 [140] 鲁宾，H。；鲁宾，J.E.，《选择公理的等价物》（1963年），《北荷兰：北荷兰阿姆斯特丹》·Zbl 0129.00601号 [141] Ruitenburg，W.，《直觉主义逻辑的非预期解释》（Drucker，T.，《数学逻辑历史透视》（1991），Birkäuser:Birkáuser Boston），134-160 [142] Rumfitt，I.，《在被忽视的直觉主义道路上》，Topoi，31，101-109（2012）·兹比尔1308.03027 [143] Rumfitt，I.，《思想的界碑：逻辑哲学论文》（2015），牛津大学出版社：牛津大学出版社 [144] 吕平，H.，2016年。规则但基础不好的拓扑空间MathOverflow、URL的示例http://mathoverflow.net/q/240345; Rüping，H.，2016年。规则但基础不好的拓扑空间MathOverflow、URL的示例http://mathoverflow.net/q/240345 [145] Sambin，G.，《前拓扑与完备性证明》，J.符号逻辑，60，3，861-878（1995）·Zbl 0839.03022号 [146] Schechter，E.，《分析手册及其基础》（1996），学术出版社：纽约学术出版社 [147] Scott，D.，将拓扑解释扩展到直觉分析，Compos。数学。，20, 194-210 (1968) ·Zbl 0197.00201号 [148] Scott，D.，《模态逻辑的建议》（Lambert，Karel，《逻辑中的哲学问题：一些最新发展》，第29卷（1970年），D.Reidel出版公司：D.Reide出版公司Dordrecht），143-173 [149] Scott，D.，量词的代数解释：直觉和古典，（Ehrenfeucht，A.；Marek，V.W.；Srebrny，M.，Andrzej Mostowski和基础研究（2008），IOS出版社：阿姆斯特丹IOS出版社），289-312·Zbl 1150.03019号 [150] Shehtman，V.B.，《不完全命题逻辑》，Dokl。阿卡德。Nauk SSSR，235，3，542-545（1977），（俄语） [151] Shehtman，V.B.，命题逻辑的拓扑模型，（符号学与信息科学，第15卷（1980），阿卡德。诺克SSSR，Vsesoyuz。Nauchn仪表。i泰肯。Informatsii:阿卡德。诺克SSSR，Vsesoyuz。Nauchn仪表。i泰肯。Informatsii Moscow），74-98，（俄语）·Zbl 0455.03013号 [152] Shehtman，V.B.，《三十年后的邻里语义学》（Artemov，S.；Barringer，H.；d'Avila Garcez，A.；Lamb，Luis C.；Woods，J.，《我们将展示他们！Dov Gabbay荣誉论文》，第2卷（2005），大学出版物：伦敦大学出版物），663-692·Zbl 1272.03102号 [153] Simmons，H.，《拓扑学框架》（Macintyre，A.；Pacholski，L.；Paris，J.，《77年逻辑学术讨论会》（1978），北荷兰：北荷兰阿姆斯特丹），239-251·兹伯利0493.06005 [154] Skvortsov，D.P.，无穷大问题的逻辑和集合的原子半格上的Kripke模型，Sov。数学。多克拉迪，20，360-363（1979）·Zbl 0438.03028号 [155] 斯莫林斯基，C.A.，《克里普克模型的应用》（Troelstra，A.S.，直觉算术与分析的元数学研究。直觉算术与解析的元数学调查，数学讲义，第344卷（1973），施普林格：施普林格柏林），324-391·Zbl 0275.02025号 [156] 索伦森，M.H。；Urzyczyn，P.，《咖喱-霍华德同构讲座》（2006），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 1183.03004号 [157] Stone，M.，分配格的拓扑表示和Brouwerian逻辑，Cesk。案例。费兹。，67, 1, 1-25 (1938) [158] Surma，S.J。；兰斯基，A。；Zachorowski，S.，《关于直觉主义命题逻辑的Ja-si-kowski型语义》，《逻辑研究》，34，2，145-148（1975）·Zbl 0341.02016号 [159] 塔斯基，A.，《演绎科学语言中的真理概念》，Prace Towarzystwa Naukowego Warszawskiego，Wydzial III Nauk Mat.-Fizycznych，34（1933），塔斯基的扩展英语翻译，1956年，第152-278页 [160] Tarski，A.，Der aussagenkalkül und die Topologie，基金。数学。，31，1，103-134（1938），塔斯基的英文译文，1956年，第421-454页·Zbl 0020.33704号 [161] Tarski，A.，《逻辑、语义学、元数学：1923年至1938年的论文》（1956年），克拉伦登出版社：牛津克拉伦登出版社，J.H.Woodger译·Zbl 0075.00702号 [162] Thomas，I.，《Dummett的LC的有限限制》，圣母院J.形式逻辑，3，3，170-174（1962）·Zbl 0131.24510号 [163] Troelstra，A.S.，《关于中间命题逻辑》，Indag。数学。（N.S.），第27页，第141-152页（1965年）·Zbl 0143.01102号 [164] Troelstra，A.S.，《论直觉主义逻辑的早期历史》（Petkov，P.P.，《数学逻辑》（1990），Plenum出版社：Plenum Press New York），第3-17页·Zbl 0770.0302号 [165] Troelstra，A.S。；van Dalen，D.，《数学中的建构主义》，第一卷（1988），北荷兰：北荷兰阿姆斯特丹·Zbl 0653.0304号 [166] Troelstra，A.S。；van Dalen，D.，《数学中的建构主义》，第二卷（1988），北荷兰：北荷兰阿姆斯特丹·Zbl 0661.03047号 [167] Troelstra，A.S。；van Ulsen，P.，《E.W.Beth直觉主义逻辑语义学的发现》（Gerbrandy，J.；Marx，M.；de Rijke，M.）；Venema，Y.，《纪念约翰·范·本特姆50岁生日的文章》（1999），阿姆斯特丹大学：阿姆斯特丹州立大学），URLhttp://www.illc.uva.nl/j50/contribs/troelstra/troelstra.pdf [168] 曹晨，T.，《严格蕴涵路易斯演算的代数假设和几何解释》，布尔。阿默尔。数学。Soc.，44，10，737-744（1938） [169] Umezawa，T.，《论中间命题逻辑》，符号逻辑，24，1，20-36（1959）·Zbl 0113.24203号 [170] Urquhart，A.，《格的拓扑表示理论》，代数大学，8，45-58（1978）·Zbl 0382.06010号 [171] 韦德曼，《直觉谓词逻辑的直觉完备性定理》，《符号逻辑》，41,1159-166（1976）·兹比尔0355.02018 [172] Vickers，S.，《逻辑拓扑》（1989），剑桥大学出版社：剑桥大学出版社·Zbl 0668.54001号 [173] Wajsberg，M.，Untersuchungenüber den Aussagenkalkül von A.Heyting，Wiad。材料，46，45-101（1938）·Zbl 0019.38503号 [174] Whitehead，A.N。；Russell，B.，《数学原理》，第1卷（1910年），剑桥大学出版社：剑桥大学出版社 [175] Wilson，J.T.，《装配塔与框架理论的一些范畴和代数方面》（1994年），卡内基梅隆大学（博士论文） [176] Wójcicki，R.，《逻辑演算理论：结果运算的基本理论》（1988），Kluwer:Kluwer-Dordrecht·兹比尔0682.03001 [177] 沃尔特，F。；Zakharyaschev，M.，直觉主义模态逻辑（logic and Foundations of Mathematics）（佛罗伦萨，1995）。《逻辑与数学基础》（Florence，1995），综合图书馆，第280卷（1999），Kluwer:Kluwer-Dordrecht），227-238·Zbl 0955.03029号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。