Reexamination of Brouwer's intuitionism by proof-theoretic methods
Reexamination of Brouwer's intuitionism by proof-theoretic methods
用证明论方法重新审视布劳威尔的直觉主义
批准号：
16K16690
负责人：
Akiyoshi Ryota
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(25)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
形式主義の新展開に向けてー竹内外史を手がかりにー
走向形式主义的新发展——以竹内、永井的历史为线索——
走向形式主义的新发展——以竹内、永井的历史为线索——
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi and Grigori Mints, Ryota Akiyoshi and Kazushige Terui, Ryota Akiyoshi and Yuta Takahashi, Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi, 秋吉亮太]
通讯作者：
秋吉亮太
Takeuti''s Finitism Revisited
重新审视 Takeuti 的有限主义
重新审视 Takeuti 的有限主义
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[佐藤雅彦, Ryota Akiyoshi]
通讯作者：
Ryota Akiyoshi
パリ第一大学哲学科/科学史科学哲学研究所（IHPST）(フランス)
巴黎第一大学哲学系/科学史与科学哲学研究所 (IHPST)（法国）
巴黎第一大学哲学系/科学史与科学哲学研究所 (IHPST)（法国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule
基于Omega规则的无参数多态Lambda演算的强归一化
基于Omega规则的无参数多态Lambda演算的强归一化
DOI：
10.4230/lipics.fscd.2016.5
发表时间：
2016
期刊：
Proceedings of FSCD'16
影响因子：
--
作者：
[Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi and Grigori Mints, Ryota Akiyoshi and Kazushige Terui]
通讯作者：
Ryota Akiyoshi and Kazushige Terui
A uniform idea behind Gentzen’s three consistency proofs (abstract)
Gentzen 三个一致性证明背后的统一思想（摘要）
Gentzen 三个一致性证明背后的统一思想（摘要）
DOI：
--
发表时间：
2016
期刊：
Bulletin of Symbolic Logic
影响因子：
0.6
作者：
[Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi and Grigori Mints, Ryota Akiyoshi and Kazushige Terui, Ryota Akiyoshi and Yuta Takahashi]
通讯作者：
Ryota Akiyoshi and Yuta Takahashi
共 23 条
海外基金