Interdisciplinary study on logic, with a special focus on intuitionistic logic

逻辑的跨学科研究，特别关注直觉逻辑

基本信息

批准号：
26284005
负责人：
Okada Mitsuhiro
金额：
$ 3.58万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-01 至 2017-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4

“足够确定性”的语义和拟合在 S4 中嵌入经典逻辑

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
CAI Dapeng;KARASAWA-OHTASHIRO Yukio;安田忠典;Gergei Bana and Mitsuhiro Okada
通讯作者：
Gergei Bana and Mitsuhiro Okada

Philosophy of Arithmetic in Wittgenstein

维特根斯坦的算术哲学

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
立花幸司;立花正一;井上夏彦;末永高康;池澤優;安田忠典;二階堂善弘;宮崎泉;梅川佳子;小寺敦;松田純;奥山直司;高橋原;Mitsuhiro Okada
通讯作者：
Mitsuhiro Okada

Alternative decision making and logic.

替代决策和逻辑。

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Takashi Ideno; Masahiro Morii and Mitsuhiro Okada;鎌田　繁;寺田元一;粟津賢太;種村隆元;大西克也;杉田敦;加國尚志;中尾薫;澤井義次;松居竜五;奥田純一郎;吉田一彦;種村隆元;平良直;Ｍｉｔｓｕｈｉｒｏ　Ｏｋａｄａ
通讯作者：
Ｍｉｔｓｕｈｉｒｏ　Ｏｋａｄａ

Higher-order logical inference with compositional semantics

具有组合语义的高阶逻辑推理

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Koji Mineshima;Pascual Martínez-Gómez;Yusuke Miyao and Daisuke Bekki
通讯作者：
Yusuke Miyao and Daisuke Bekki

International Workshop on Logic, Philosophy and Computation of Proofs

逻辑、哲学与证明计算国际研讨会

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
通讯作者：

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Okada Mitsuhiro其他文献

固有ジョセフソン接合素子アレイを用いたテラヘルツ波発振器の開発

使用独特的约瑟夫森结元件阵列开发太赫兹波振荡器

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Lim Hong En;Irisawa Toshifumi;Okada Naoya;Okada Mitsuhiro;Endo Takahiko;Nakanishi Yusuke;Maniwa Yutaka;Miyata Yasumitsu;田川美穂;柏木隆成，今井貴之，桑野玄気，大野雪乃，中川駿吾，志津友幸，金子陽太，楠瀬慎二，中山繭，Kim Jeonghyuk，山本卓，辻本学，南英俊，門脇和男
通讯作者：
柏木隆成，今井貴之，桑野玄気，大野雪乃，中川駿吾，志津友幸，金子陽太，楠瀬慎二，中山繭，Kim Jeonghyuk，山本卓，辻本学，南英俊，門脇和男

Flexor pollicis longus tendon rupture by sandwiched underlying volar locking plate and distal radius

夹在下面的掌侧锁定板和远端桡骨导致拇长屈肌腱断裂

DOI：
10.1007/s10396-018-0882-1
发表时间：
2018
期刊：
Journal of Medical Ultrasonics
影响因子：
1.8
作者：
Uemura Takuya;Okano Tadashi;Onode Ema;Yokoi Takuya;Shintani Kosuke;Okada Mitsuhiro;Nakamura Hiroaki
通讯作者：
Nakamura Hiroaki

Influence of an oblique magnetic field on planar flame front instability

倾斜磁场对平面火焰锋不稳定性的影响

DOI：
10.1007/978-3-030-62497-2_26
发表时间：
2020
期刊：
2019-20 MATRIX Annals
影响因子：
0
作者：
Kuroda Takashi;Hoshi Yusuke;Masubuchi Satoru;Okada Mitsuhiro;Kitaura Ryo;Watanabe Kenji;Taniguchi Takashi;Machida Tomoki;Mako Sato and Yasuhide Fukumoto
通讯作者：
Mako Sato and Yasuhide Fukumoto

Very Low-Delay H.264 Coding Control Algorithm amd System for Consumer Applications

适用于消费类应用的极低延迟 H.264 编码控制算法和系统

DOI：
发表时间：
2012
期刊：
影响因子：
0
作者：
博樹溝添;光弘岡田;弘典小味;好律羽鳥;Mizosoe Hiroki;Okada Mitsuhiro;Komi Hironori;Sasamoto Manabu;Hatori Yoshinori
通讯作者：
Hatori Yoshinori

FPGA-accelerated Searchable Encrypted Database Management Systems for Cloud Services

适用于云服务的 FPGA 加速可搜索加密数据库管理系统

DOI：
10.1109/tcc.2020.2969655
发表时间：
2020
期刊：
IEEE Transactions on Cloud Computing
影响因子：
6.5
作者：
Okada Mitsuhiro;Suzuki Takayuki;Nishio Naoya;Waidyasooriya Hasitha;Hariyama Masanori
通讯作者：
Hariyama Masanori