「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について
「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について
复制标题
关于“经典逻辑中仅用最小逻辑公式即可公理化的逻辑猜想”的反例
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
中村誠希
中科院分区：
文献类型：
--
作者：
辻本真規;酒井明人;松本洋介;中辻知;Nakamura Yoshiki;Nakamura Yoshiki;Yoshiki Nakamura;Yoshiki Nakamura;中村誠希;中村誠希;中村誠希
