×

表前超直觉逻辑。 (英语) Zbl 0275.02027号


MSC公司:

03B55号 中间逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] V.Ya。Gerchiu和A.V.Kuznetsov,“关于由有界长度恒等式指定的伪布尔代数的变种”,载于:第九届全联合代数学术讨论会,通信和论文摘要[俄语],Gomel’(1968),第54–65页。
[2] A.V.Kuznetsov,“伪布尔代数变体格的某些性质”,载于:第11届全联合代数学术讨论会,通信和论文简历[俄语],Kishinev(1971),第255–256页。
[3] L.L.Maksimova,“准高等逻辑”,载于:第11届全联盟学术讨论会,通信和论文简历[俄语],Kishinev(1971),第258–259页。
[4] V.A.Yankov,“关于某些超构造预测计算”,Dokl。阿卡德。瑙克SSSR,151796–798(1963年)。
[5] R.A.Bull,“关联计算的一些结果”,J.Symb。《逻辑》,第29、33–39页(1964年)·Zbl 0137.24903号 ·doi:10.2307/2269766
[6] M.Dummett,“具有可数矩阵的命题演算”,J.Symb。《逻辑》,24,97–106(1959)·Zbl 0089.24307号 ·doi:10.2307/2964753
[7] J.M.Dunn和R.K.Meyer,“Dummett的LC及其扩展的代数完备性结果”,Zeitschr。数学。日志。und Grundl公司。数学。,17, 225–230 (1971). ·Zbl 0252.02018号 ·doi:10.1002/malq.19710170126
[8] T.Hosoi,“关于中间逻辑。一、 “J.Fac。科学。东京大学,第IA节,第14、293–312页(1967年)·Zbl 0188.31602号
[9] T.Hosoi和H.Ono,“第二层的中间逻辑”,J.Fac。科学。东京大学,第IA节,17,457–461(1970)·Zbl 0216.00502号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。