课题基金 / 基金详情

A logical investigation on heterogeneous reasoning combining sentences and diagrams

A logical investigation on heterogeneous reasoning combining sentences and diagrams
句图结合的异质推理的逻辑探讨
批准号：
16K16689
负责人：
TAKEMURA Ryo
金额：
$2.33万
依托单位：
Nihon University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K16689/
关键词：
論理学証明論図形推論heterogeneous reasoningheterogeneous logic

项目摘要

项目成果

TAKEMURA Ryo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(14)
专著(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
期刊： Journal of Philosophical Logic
影响因子： 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
期刊： Diagrammatic Representation and Inference, Lecture Notes in Computer Science
影响因子： --
作者： [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
期刊：
影响因子： --
作者： [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
Ryo Takemura Selected Publications
竹村亮精选出版物
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 11 条
    A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logic
    • 批准号：
      24720016
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.5万
    • 财政年份：
      2012
    • 负责人：
      TAKEMURA Ryo
    • 依托单位：
      Nihon University
    A proof-theoretical investigation on diagrammatic reasoning
    • 批准号：
      22820053
    • 项目类别：
      Grant-in-Aid for Research Activity Start-up
    • 资助金额：
      $1.9万
    • 财政年份：
      2010
    • 负责人：
      TAKEMURA Ryo
    • 依托单位：
      Keio University
    海外基金