课题基金 / 基金详情

Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic

Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic
逻辑哲学的跨学科研究 - 特别关注直觉逻辑的推论和证明理论
批准号：
23520036
负责人：
OKADA Mitsuhiro
金额：
$2.83万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011 至 2014
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23520036/
关键词：
哲学論理学直観主義論理論理推論研究フッサール論理学論理哲学図形推論証明論数学の哲学線形論理ウィトゲンシュタインフッサール認知論理学直観主義通信プロトコル認知科学フッサールの論理国際情報交流

项目摘要

项目成果

OKADA Mitsuhiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Proof Theory for Euler Diagrammatic Inferences(Invited Talk)
欧拉图解推论的证明论（特邀报告）
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Mitsuhiro Okada, Chizuru Shikishima and Juko Ando, 清水正之, 山本史華, 荻野弘之, Mitsuhiro Okada]
通讯作者： Mitsuhiro Okada
What is logic
什么是逻辑
DOI： --
发表时间： 1979
期刊：
影响因子： --
作者： [I. Hacking]
通讯作者： I. Hacking
Twin Study with Allais Paradox (Poster Presentation)
阿莱悖论的双胞胎研究（海报展示）
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Mitsuhiro Okada, Shikishima Chizuru et al.]
通讯作者： Shikishima Chizuru et al.
Philosophy of Arithmetical Proof of Wittgenstein
维特根斯坦的算术证明哲学
DOI： --
发表时间：
期刊：
影响因子： --
作者： [佐藤有理, 峯島宏次, 竹村亮, 岡田光弘, 清水正之, 荻野弘之, 岡田光弘, 清水正之, Mitsuhiro Okada, 清水正之, 清水正之, Mitsuhiro Okada, Mitsuhiro Okada]
通讯作者： Mitsuhiro Okada
共 28 条
    Visualization of the vascularity of the peripheral nerve by indocyanine green fluorescence angiography and its clinical application for treatment of entrapment neuropathy
    • 批准号：
      26462247
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2014
    • 负责人：
      OKADA Mitsuhiro
    • 依托单位：
      Osaka City University
    Effect of intraneural decompression to peripheral nerve estimated by intraoperative nerve blood flow
    • 批准号：
      23592171
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.25万
    • 财政年份：
      2011
    • 负责人：
      OKADA Mitsuhiro
    • 依托单位：
      Osaka City University
    Astudy on tales of transformation from human beings to animals or plants In China
    • 批准号：
      21520366
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $0.67万
    • 财政年份：
      2009
    • 负责人：
      OKADA Mitsuhiro
    • 依托单位：
      Yokohama National University
    International collaborative studies on a logical specification and verification language.
    • 批准号：
      13558031
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $4.29万
    • 财政年份：
      2001
    • 负责人：
      OKADA Mitsuhiro
    • 依托单位：
      Keio University
    海外基金