Research of formal provability by means of the analysis of provability predicates
通过可证明性谓词分析来研究形式可证明性
基本信息
- 批准号：26887045
- 负责人：
- 金额：$ 1.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Research Activity Start-up
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-08-29 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（13）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Henkin sentences and local reflection principles for Rosser provability
亨金句子和罗瑟可证明性的局部反射原则
- DOI：10.1016/j.apal.2015.10.002
- 发表时间：2016
- 期刊：
- 影响因子：0.8
- 作者：Ryo Saito;Daisuke Yamauchi;Shuntaro Mizuno;Jérôme Gleyzes;David Langlois;Taishi Kurahashi
- 通讯作者：Taishi Kurahashi
Rosser-type undecidable sentences based on Yablo's paradox
基于Yablo悖论的Rosser型不可判定句子
- DOI：10.1007/s10992-013-9309-z
- 发表时间：2014
- 期刊：
- 影响因子：1.5
- 作者：Norihiro Nakashima;Hajime Matsui;Taishi Kurahashi
- 通讯作者：Taishi Kurahashi
Liar-type paradoxes and the incompleteness phenomena
骗子型悖论与不完备现象
- DOI：10.1007/s10992-015-9378-2
- 发表时间：2015
- 期刊：
- 影响因子：1.5
- 作者：Alexey Tolstov; Ken'ichi Nomoto;Nozomu Tominaga,Miho N. Ishigaki;Sergey Blinnikov;Tomoharu Suzuki;Sohei Iwata and Taishi Kurahashi;Alexey Tolstov;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Taishi Kurahashi;樋口幸治郎・倉橋太志;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi;Alexey Tolstov;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi
- 通讯作者：Makoto Kikuchi and Taishi Kurahashi
Universal Rosser predicates
通用 Rosser 谓词
- DOI：10.1017/jsl.2016.19
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Alexey Tolstov; Ken'ichi Nomoto;Nozomu Tominaga,Miho N. Ishigaki;Sergey Blinnikov;Tomoharu Suzuki;Sohei Iwata and Taishi Kurahashi;Alexey Tolstov;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Taishi Kurahashi;樋口幸治郎・倉橋太志;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi
- 通讯作者：Makoto Kikuchi and Taishi Kurahashi
数学における証明と真理-様相論理と数学基礎論
数学中的证明与真理 - 模态逻辑和数学基础
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：佐野勝彦・倉橋太志・薄葉季路・黒川英徳・菊池誠
- 通讯作者：佐野勝彦・倉橋太志・薄葉季路・黒川英徳・菊池誠
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Kurahashi Taishi其他文献
Kurahashi Taishi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kurahashi Taishi', 18)}}的其他基金
Research of the structure of proofs in nonstandard models and formal theories
非标准模型和形式理论中的证明结构研究
- 批准号：
16K17653 - 财政年份：2016
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
Study of the properties of formal provability
形式可证明性的性质研究
- 批准号：
23K03200 - 财政年份：2023
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research of formal provability by means of the investigation of incompleteness theorems
通过不完备性定理的研究来研究形式可证明性
- 批准号：
19K14586 - 财政年份：2019
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Research of the structure of proofs in nonstandard models and formal theories
非标准模型和形式理论中的证明结构研究
- 批准号：
16K17653 - 财政年份：2016
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Non-standard models of arithmetic and the incompleteness theorems
非标准算术模型和不完备性定理
- 批准号：
24540125 - 财政年份：2012
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Mathematical study of quantum information and quantum computing
量子信息与量子计算的数学研究
- 批准号：
17340021 - 财政年份：2005
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (B)