刷新
Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic
逻辑哲学的跨学科研究 - 特别关注直觉逻辑的推论和证明理论
基本信息
- 批准号：23520036
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2011
- 资助国家：日本
- 起止时间：2011 至 2014
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Proof Theory for Euler Diagrammatic Inferences(Invited Talk)
欧拉图解推论的证明论（特邀报告）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Mitsuhiro Okada;Chizuru Shikishima and Juko Ando;清水正之;山本史華;荻野弘之;Mitsuhiro Okada
- 通讯作者：Mitsuhiro Okada
Shape Perception in Chemistry
化学中的形状感知
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Janna HASTINGS1;Colin BATCHELOR and Mitsuhiro OKADA,;accepted;2013,
- 通讯作者：2013,
On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational per
论欧拉图在三段论推理中的认知功效：关系论
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Koji Mineshima;Yuri Sato;Ryo Takemura;and Mitsuhiro Okada.spective;Best Paper Award
- 通讯作者：Best Paper Award
Twin Study with Allais Paradox (Poster Presentation)
阿莱悖论的双胞胎研究（海报展示）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Mitsuhiro Okada;Shikishima Chizuru et al.
- 通讯作者：Shikishima Chizuru et al.
Philosophy of Arithmetical Proof of Wittgenstein
维特根斯坦的算术证明哲学
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：佐藤有理;峯島宏次;竹村亮;岡田光弘;清水正之;荻野弘之;岡田光弘;清水正之;Mitsuhiro Okada;清水正之;清水正之;Mitsuhiro Okada;Mitsuhiro Okada
- 通讯作者：Mitsuhiro Okada
{{
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 }}
OKADA Mitsuhiro其他文献
OKADA Mitsuhiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('OKADA Mitsuhiro', 18)}}的其他基金
Visualization of the vascularity of the peripheral nerve by indocyanine green fluorescence angiography and its clinical application for treatment of entrapment neuropathy
吲哚菁绿荧光血管造影显示周围神经血管分布及其治疗卡压性神经病的临床应用
- 批准号：
26462247 - 财政年份：2014
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Effect of intraneural decompression to peripheral nerve estimated by intraoperative nerve blood flow
通过术中神经血流评估神经内减压对周围神经的影响
- 批准号：
23592171 - 财政年份：2011
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Astudy on tales of transformation from human beings to animals or plants In China
中国人转变为动物或植物的故事研究
- 批准号：
21520366 - 财政年份：2009
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
International collaborative studies on a logical specification and verification language.
逻辑规范和验证语言的国际合作研究。
- 批准号：
13558031 - 财政年份：2001
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic
基于线性逻辑的并发系统和实时系统的形式化说明与验证理论
- 批准号：
12480075 - 财政年份：2000
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Applications of Type Theory and Linear Logic to Programming Language Theory
类型论和线性逻辑在编程语言理论中的应用
- 批准号：
10044094 - 财政年份：1998
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (A).
Programming Language Theory Based on Logical Methods
基于逻辑方法的编程语言理论
- 批准号：
09480058 - 财政年份：1997
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Application of type theory and linear logic for Programming Languages
类型论和线性逻辑在编程语言中的应用
- 批准号：
07044093 - 财政年份：1995
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for international Scientific Research
Girard's Linear Logic and its Application
吉拉德的线性逻辑及其应用
- 批准号：
07808035 - 财政年份：1995
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Application of Logic to Programming Language Theory
逻辑在编程语言理论中的应用
- 批准号：
05808030 - 财政年份：1993
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似国自然基金
Fibered纽结的自同胚、Floer同调与4维亏格
- 批准号：12301086
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
- 批准号：82371997
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号：12247163
- 批准年份：2022
- 资助金额：18.00 万元
- 项目类别：专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：12272344
- 批准年份：2022
- 资助金额：55.00 万元
- 项目类别：
相似海外基金
現代論理学に基づくフッサール数学論の再構築
基于现代逻辑的胡塞尔数学重构
- 批准号：
20K12780 - 财政年份：2020
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Dummett's Theory of Meaning and the Recent Development of Philosophical Analysis of Action -- Rationalization of Action and Understanding
达米特的意义理论与行动哲学分析的最新发展——行动与理解的合理化
- 批准号：
19J13854 - 财政年份：2019
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Reexamination of Brouwer's intuitionism by proof-theoretic methods
用证明论方法重新审视布劳威尔的直觉主义
- 批准号：
16K16690 - 财政年份：2016
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
命題・様相・情報概念の論理的構造と哲学的基礎
命题、模式和信息概念的逻辑结构和哲学基础
- 批准号：
15J07255 - 财政年份：2015
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Interdisciplinary study on logic, with a special focus on intuitionistic logic
逻辑的跨学科研究，特别关注直觉逻辑
- 批准号：
26284005 - 财政年份：2014
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)