Syntactic Duality of Classical Logic and Its Computational Aspect
Syntactic Duality of Classical Logic and Its Computational Aspect
经典逻辑的句法对偶性及其计算方面
批准号：
18700008
负责人：
NAKAZAWA Koji
金额：
$1.61万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2008
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究では以下の結果を得た。(1) 直観主義シーケント計算のカット除去として、自然演繹の証明正規化と同型であるものを提案した。(2) 存在型を持つ型付きラムダ計算における型検査問題、型推論問題が決定不能であることを証明した。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.
存在性的无域类型 Lambda 演算中类型检查的不可判定性。
存在性的无域类型 Lambda 演算中类型检查的不可判定性。
DOI：
--
发表时间：
2008
期刊：
Computer Science Logic (CSL' 08), Lecture Notes in Computer Science 5213
影响因子：
--
作者：
[Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, and Hiroshi Nakano]
通讯作者：
and Hiroshi Nakano
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[加藤祐輝, 中澤巧爾, Koji Nakazawa, Koji Nakazawa]
通讯作者：
Koji Nakazawa
DOI：
--
发表时间：
2007
期刊：
Typed Lambda Calculi and Applications (TLCA' 07), Lecture Notes in Computer Science 4583
影响因子：
--
作者：
[K. Nakazawa, M. Tatsuta, Y. Kameyama, and H. Nakano, Koji Nakazawa and Makoto Tatsuta, Koji Nakazawa]
通讯作者：
Koji Nakazawa
存在型に対する型検査問題と型推論問題の同値性
存在类型的类型检查问题和类型推断问题的等价性
存在类型的类型检查问题和类型推断问题的等价性
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
[加藤祐輝, 中澤巧爾]
通讯作者：
中澤巧爾
Type Checking and Inference for Polymorphic and Existential Types.
多态和存在类型的类型检查和推断。
多态和存在类型的类型检查和推断。
DOI：
--
发表时间：
2009
期刊：
Computing : The Australasian Theory Symposium (CATS2009) (CD-ROM)
影响因子：
--
作者：
[S. Imahori, M. Yagiura, H. Nagamochi, 今堀慎治, Koji Nakazawa and Makoto Tatsuta]
通讯作者：
Koji Nakazawa and Makoto Tatsuta
共 10 条
Calculi with Second-Order Existential Quantifier
-
批准号：21700013
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.91万
-
财政年份：2009
-
负责人：NAKAZAWA Koji
-
依托单位：
海外基金