Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
复制标题
中间谓词逻辑中存在性和析取性的一些弱变体
DOI：
10.18778/0138-0680.46.1.2.08
复制
发表时间：
2017
影响因子：
--
通讯作者：
Suzuki Nobu-Yuki
中科院分区：
文献类型：
--
作者：
Abizaid;C.;O.T. Coomes;L. Johnson;M. Lapointe;M. Kalacska;and Y. Takasaki;渡部敏明;青木千咲・下分淳矢・米康充;藤原帰一;森久智江;須網隆夫( 大坂恵理と共著);島村恭則;Suzuki Nobu-Yuki
