刷新
{{item.name}}会员
A logical investigation on heterogeneous reasoning combining sentences and diagrams
句图结合的异质推理的逻辑探讨
基本信息
- 批准号：16K16689
- 负责人：
- 金额：$ 2.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2020-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（14）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
二阶直觉命题逻辑关于证明项阶段语义的完备性
- DOI：10.1007/s10992-018-9484-z
- 发表时间：2018
- 期刊：
- 影响因子：1.5
- 作者：Kana GOTO;Hiroki NAKAMOTO;Shiro MORI;Yuta Takahashi and Ryo Takemura
- 通讯作者：Yuta Takahashi and Ryo Takemura
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
初等经济学中图异质推理的逻辑研究
- DOI：10.1007/978-3-319-42333-3_8
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Kana GOTO;Hiroki NAKAMOTO;Shiro MORI;Yuta Takahashi and Ryo Takemura;Ryo Takemura
- 通讯作者：Ryo Takemura
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
关于证明理论语义的二阶直觉命题逻辑的完备性
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：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
- 通讯作者：Yuta Takahashi and Ryo Takemura
オイラー図を使った推論：証明構成と反例構成
使用欧拉图进行推理：证明构造和反例构造
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Shigenari Nakamura;Tomoya Enokido;and Makoto Takizawa;竹村亮
- 通讯作者：竹村亮
{{
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 }}
TAKEMURA Ryo其他文献
TAKEMURA Ryo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('TAKEMURA Ryo', 18)}}的其他基金
A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logic
基于线性逻辑的图解推理和非演绎推理的逻辑研究
- 批准号：
24720016 - 财政年份：2012
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A proof-theoretical investigation on diagrammatic reasoning
图解推理的证明理论研究
- 批准号：
22820053 - 财政年份：2010
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
相似海外基金
独占禁止法における証明論の基礎理論とその応用―企業結合規制を主題として―
反垄断法中证明论的基本理论及其应用 - 聚焦企业合并规制 -
- 批准号：
24KJ0139 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
- 批准号：
24K06823 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
可算集合論の証明論的研究
可数集合论的证明理论研究
- 批准号：
24K06825 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Recursive Inequalities in Applied Proof Theory
应用证明理论中的递归不等式
- 批准号：
2889781 - 财政年份：2023
- 资助金额：
$ 2.33万 - 项目类别：
Studentship
否定概念に着目した異なる論理の共存の証明論的研究
以否定概念为重点的不同逻辑共存的证明研究
- 批准号：
22KJ0108 - 财政年份：2023
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Proof theory, higher order theories of reverse mathematics, and semi-intuitionism
证明论、逆向数学的高阶理论和半直觉主义
- 批准号：
2595035 - 财政年份：2021
- 资助金额：
$ 2.33万 - 项目类别：
Studentship
New foundations of proof theory from a novel notion of substitution
来自新颖替代概念的证明理论的新基础
- 批准号：
2601979 - 财政年份：2021
- 资助金额：
$ 2.33万 - 项目类别：
Studentship
Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
重新审视证明论中的序数符号系统：从线性逻辑的角度来看
- 批准号：
21K12822 - 财政年份：2021
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
- 批准号：
21K00016 - 财政年份：2021
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)