莫蒂扎·莫尼里;Shirmohammadzadeh Maleki，法特梅 基本逻辑和直觉逻辑的邻域语义。 （英语） 兹比尔1375.03014 日志。日志。菲洛斯。 24，第3期，339-355（2015）. 摘要：本文提出了直觉命题逻辑（IPL）的邻域语义。我们证明，对于逻辑的每个克里普克模型，都有一个逐点等效邻域模型，反之亦然。这样，我们就建立了IPL相对于邻域语义的稳健性和完备性。研究了邻域和拓扑语义之间的关系。此外互模拟和\（n）-互模拟自然定义了IPL的邻域间模型，并证明了它们的一些基本性质。我们还考虑了基本命题逻辑（BPL），这是一种弱于Albert Visser提出的IPL的逻辑，并以同样的方式介绍和研究了它的邻域模型。 引用于4文件 MSC公司： 03B20型 经典逻辑子系统（包括直觉逻辑） 03B45号 模态逻辑（包括规范逻辑） 关键词：直觉逻辑;基本逻辑;克里普克模型;邻域模型;互模拟;模态逻辑;拓扑语义学 PDF格式BibTeX公司 XML格式引用 \textit｛M.Moniri｝和\textit｛F.Shirmohammadzadeh Maleki｝，日志。日志。菲洛斯。24，编号339–355（2015年；兹bl 1375.03014） 全文： 内政部 参考文献： [1] Bezhanishvili，N.和W.Hoek，“认知逻辑的结构”，Johan van Benthem关于逻辑和信息动力学的第12章，Springer·Zbl 1354.03012号 ·doi:10.1007/978-3-319-06025-5_12 [2] Chellas，B.，《模态逻辑：导论》，剑桥大学出版社，剑桥，1980年·Zbl 0431.03009号 [3] Johnstone，P.，《石头空间》，剑桥大学出版社，1982年·Zbl 0499.54001号 [4] Hansen，H.H.，“单调模态逻辑”，阿姆斯特丹大学硕士论文，2003年 [5] Kruszelnicka，M.，“关于有限Kripke模型互模拟的注记”，《逻辑学报》，41（2012）：185-198·Zbl 1287.03080号 [6] Montague，R.，“普遍语法”，理论，36，3（1970）：373-398·Zbl 0243.0202号 ·doi:10.1111/j.1755-2567.1970.tb00434.x [7] 鲁登堡，W.，“建构逻辑与悖论”，《现代逻辑》，1，4（1991）：271-301·Zbl 0748.03037号 [8] 斯科特，D.S.，“模态逻辑的建议”，《逻辑哲学问题》第7章，K.兰伯特（编辑），D.雷德尔出版公司，1970年·Zbl 0295.02013.中 ·doi:10.1007/978-94-010-3272-8_7 [9] van Dalen，D.，《逻辑与结构》，第四版，施普林格出版社，2004年·Zbl 1048.03001号 ·doi:10.1007/978-3-540-85108-0 [10] Visser，A.，“具有显式不动点的命题逻辑”，Studia Logica，40，2（1981）：155-175·Zbl 0469.03012号 ·doi:10.1007/BF01874706 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。