Extensions of canonical formulas for Heyting algebras and intuitionistic frames

Extensions of canonical formulas for Heyting algebras and intuitionistic frames
复制标题

Heyting 代数和直觉框架的规范公式的扩展

DOI：
--
复制
发表时间：
2008
期刊：
Proceedings of the 42nd MLG meeting
影响因子：
--
通讯作者：
Yoshihito Tanaka
Yoshihito Tanaka
中科院分区：
--
文献类型：
--
作者：
長藤かおり;石井豊;Kaori Nagaotu;Kaori Nagatou;Yoshihito Tanaka

文献摘要

相似文献