Dov M.加巴伊。 关于一些新的直觉主义命题连接词。一、。 （英语） Zbl 0363.02026号 螺柱日志。 36, 127-139 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于15文件 MSC公司： 03B55号 中间逻辑 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，Stud.Log。36、127--139（1977年；Zbl 0363.02026） 全文： 内政部 参考文献： [1] J.G.Anderson，1966年论文，泰恩河畔的纽卡斯尔。 [2] K.B.Bowen，《直觉命题演算的扩展》，《Indagationes Mathematicae 1971》，第287-293页·Zbl 0221.02009号 [3] Dov M.Gabbay，直觉主义逻辑的模型理论，Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1971，第75-86页。 [4] Dov M.Gabbay，《关于完全编译的二阶直觉主义命题演算》，Archive für mathematische Logik 1974，第177–186页·Zbl 0289.02016 [5] D.P.McCullough，直觉主义命题逻辑的逻辑连接词，《符号逻辑杂志》，1971年，第15-21页·Zbl 0216.28801号 [6] C.Wojtkiewicz，《从强否定的建构逻辑的历史》，《波兰科学院逻辑部分公报》，第1卷，第3期（1972年），第62-71页。 [7] R.Solovay，发表在以色列数学杂志上。 [8] Dov M.Gabbay，《Heyting逻辑中的语义研究》，D.Reidel出版社。，正在印刷中·Zbl 0453.03001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。