Combining First-Order Classical and Intuitionistic Logic.

Combining First-Order Classical and Intuitionistic Logic.
复制标题

结合一阶经典逻辑和直觉逻辑。

DOI：
10.4204/eptcs.358.3
复制
发表时间：
2022
期刊：
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)
影响因子：
--
通讯作者：
Masanobu Toyooka and Katsuhiko Sano
Masanobu Toyooka and Katsuhiko Sano
中科院分区：
--
文献类型：
--
作者：
Katsuhiko Sano and Tomoyuki Yamada;Youan Su and Katsuhiko Sano;Hiroakira Ono and Katsuhiko Sano;Ryo Hatano and Katsuhiko Sano;Ryo Murai and Katsuhiko Sano;Masanobu Toyooka and Katsuhiko Sano

文献摘要

相似文献