Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
复制标题
关于证明理论语义的二阶直觉命题逻辑的完备性
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Yuta Takahashi and Ryo Takemura
中科院分区：
文献类型：
--
作者：
Yuta Takahashi;高橋優太;Yuta Takahashi;高橋優太;Mitsuhiro Okada and Yuta Takahashi;Mitsuhiro Okada and Yuta Takahashi;Yuta Takahashi;高橋 優太;高橋 優太;Yuta Takahashi;Yuta Takahashi and Ryo Takemura;Yuta Takahashi and Ryo Takemura
