A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logic
A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logic
基于线性逻辑的图解推理和非演绎推理的逻辑研究
批准号：
24720016
负责人：
TAKEMURA Ryo
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1007/s11225-014-9584-x
发表时间：
2014-10
期刊：
Studia Logica
影响因子：
0.7
作者：
[Ryo Takemura]
通讯作者：
Ryo Takemura
LMS glexaを用いた論理学e-learning教材の開発
使用 LMS glexa 开发逻辑电子学习材料
使用 LMS glexa 开发逻辑电子学习材料
DOI：
--
发表时间：
2015
期刊：
総合文化研究
影响因子：
--
作者：
[竹村亮]
通讯作者：
竹村亮
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[Akira Utsumi, Kota Nakamura, and Maki Sakamoto, Ryo Takemura]
通讯作者：
Ryo Takemura
Ryo Takemura Selected Publications
竹村亮精选出版物
竹村亮精选出版物
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.1007/978-3-642-31223-6_42
发表时间：
2012
期刊：
Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings
影响因子：
--
作者：
[Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri]
通讯作者：
and Yasuhiro Katagiri
共 7 条
A logical investigation on heterogeneous reasoning combining sentences and diagrams
-
批准号：16K16689
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.33万
-
财政年份：2016
-
负责人：TAKEMURA Ryo
-
依托单位：
A proof-theoretical investigation on diagrammatic reasoning
-
批准号：22820053
-
项目类别：Grant-in-Aid for Research Activity Start-up
-
资助金额：$1.9万
-
财政年份：2010
-
负责人：TAKEMURA Ryo
-
依托单位：
海外基金