Two properties of quantifiers described as meta-theorems on some non-classical predicate logics
Two properties of quantifiers described as meta-theorems on some non-classical predicate logics
复制标题
一些非经典谓词逻辑上被描述为元定理的量词的两个性质
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Nobu-Yuki Suzuki
中科院分区：
文献类型：
--
作者：
Fukao Kyoji;Makino Tatsuji;Settsu Tokihiko;山口輝臣・福家崇洋編;Nobu-Yuki Suzuki
