Papers - Okada, Mitsuhiro
-
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication
Mitsuhiro Okada
Studia Logica 46 ( 4 ) 371 - 382 1987.12
Research paper (scientific journal), Single Work, Accepted
-
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
Mitsuhiro Okada
Journal of Symbolic Logic 52 577-581 1987.09
Research paper (scientific journal), Single Work, Accepted
-
論理記号導入規則による論理的意味論について
岡田 光弘
科学基礎論研究68、 日本科学基礎論学会 65-71 1987.06
Research paper (scientific journal), Single Work, Accepted
-
初期フッサールの「数理－哲学的研究の最終テーマ」とゲッチンゲン学派の論理哲学
岡田 光弘
哲学37 日本哲学会 210-221 1987.05
Research paper (scientific journal), Single Work, Accepted
-
Finite Combinatorics
Mitsuhiro Okada
Combinatorics (American Mathematical Society) 8 1987
Research paper (other academic)
-
On The Theory of Quasi-Ordinal Diagram
Mitsuhiro Okada and Gaisi Takeuti
Contemporary Mathematics (American Mathematical Society) 65 295 - 308 1987
Research paper (international conference proceedings)
-
形式的意味論と整合性証明
岡田 光弘
哲学(1986) 三田哲学会 1986.12
Research paper (scientific journal), Single Work