Papers, etc., Registered in KOARA - Okada, Mitsuhiro
-
A memoir of my teacher, Professor Akira Ôide (Akira Ohe)
Okada, Mitsuhiro
Philosophy (三田哲學會) ( 146 ) 15 - 18 2021.03
ISSN 05632099
-
Towards a truthmaker interpretation of the semantics of linear logic
Okada, Mitsuhiro
Philosophy (三田哲學會) ( 146 ) 19 - 37 2021.03
ISSN 05632099
-
"Philosophy of proofs" : towards new developments of philosophy of logic and mathematics
Okada, Mitsuhiro
科学研究費補助金研究成果報告書 2021
-
Interdisciplinary reserch on logic and sensibility and its applications
Okada, Mitsuhiro
学事振興資金研究成果実績報告書 (慶應義塾大学) 2019
-
Interdisciplinary study on logic, with a special focus on intuitionistic logic
Okada, Mitsuhiro
科学研究費補助金研究成果報告書 2017
-
Logic and computation of prediction, judgment and decision making
Okada, Mitsuhiro
科学研究費補助金研究成果報告書 2016
-
Okada, Mitsuhiro
科学研究費補助金研究成果報告書 2014
-
Okada, Mitsuhiro
Newsletter (慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点) 5 5 - 5 2008.10
-
A report on Euler diagrammatic reasoning system : theory and experiment design
Okada, Mitsuhiro
CARLS series of advanced study of logic and sensibility (Centre for Advanced Research on Logic and Sensibility The Global Centers of Excellence Program, Keio University) 2 387 - 402 2008
-
Behavioral genetic study in adolescence and adulthood by twin method
OKADA, MITSUHIRO
科学研究費補助金研究成果報告書 2008
-
「人間の知的推論についての論理学的及び言語学的手法による分析」15年度報告
Okada, Mitsuhiro
Toward an integrated methodology for the study of the mind (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 1 - 6 2004
-
Note on phase semantics for proofs (Preliminary Report)
Okada, Mitsuhiro
Toward an integrated methodology for the study of the mind (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 26 - 36 2004
-
Some questions on cognitive models of deductive reasoning (Preliminary report)
Okada, Masahiro
Toward an integrated methodology for the study of the mind (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 7 - 25 2004
-
歪んだ真珠(バロック) : 音楽における規則性vs反規則性, またはロゴスvsパトス
Okada, Mitsuhiro
The geibun-kenkyu : journal of arts and letters (慶應義塾大学藝文学会) 84 108(135) - 126(117) 2003.06
ISSN 04351630
-
Okada, Mitsuhiro
Toward an integrated methodology for the study of the mind (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 1 - 5 2003
-
The role of the notion of "multiplicity" in Husserl's analysis of formal logic
Okada, Mitsuhiro
哲學 (三田哲學會) ( 101 ) 1 - 43 1997.03
ISSN 05632099
-
Cartesian notion of "proof" and his logical criterion for metaphysical proofs
Okada, Mitsuhiro
哲學 (三田哲學會) ( 100 ) 63 - 86 1996.03
ISSN 05632099
-
Note on the Strong Normalizability of the Logic with Self-Referential Predicates
Okada, Mitsuhiro
哲學 (三田哲學會) ( 95 ) 1 - 14 1993.07
ISSN 05632099
-
Okada, Mitsuhiro
哲學 (三田哲學會) ( 91 ) 143 - 161 1990.12
ISSN 05632099
-
Logical semantics and consistency proofs
Okada, Mitsuhiro
哲學 (三田哲學會) ( 83 ) 61 - 86 1986.11
ISSN 05632099