Dov M.加巴伊。 一些直觉谓词理论的判定性。 （英语） Zbl 0266.02025号 J.塞姆。日志。 37, 579-587 (1972). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于10文件 MSC公司： 03B25号 理论和句子集的可判定性 03楼55 直觉数学 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，J.Symb（J.塞姆）。日志。37、579--587（1972年；Zbl 0266.02025） 全文： 内政部 参考文献： [1] 非经典逻辑的可判定性结果（1969） [2] 构造数学和数学逻辑研究（1969年） [3] 美国数学学会学报141第1页–（1969） [4] 第四届逻辑、方法论和科学哲学国际大会会议记录 [5] 一些直觉主义平等与秩序理论的不确定性 [6] DOI:10.2307/19969974·Zbl 0074.01403号 ·doi:10.2307/1969974 [7] 直觉主义理论不可判定的充分条件37 pp 375–（1972）·Zbl 0266.02026号 [8] 线性序Heyting代数中真值的逻辑34 pp 395–（1969）·兹比尔0181.29904 [9] Doklady Akademii Nauk SSSR 163第295页–（1965） [10] 形式系统和递归函数 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。