Published papers
Okada, Mitsuhiro
81-100 items (total 139)
A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics
- Author
- Misao Nagayama and Mitsuhiro Okada
- Publication Title
- Magazine name Journal of Symbolic Logic Volume 66(Issue 4) Start Page 1524 - End Page 1542 (Publication Date）2001/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス１００年特集
- Author
- 岡田 光弘
- Publication Title
- Volume 36(Issue 2) Start Page 79-102 (Publication Date）2004）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Linear Logic and Intuitionistic Logic
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name La revue International de philosphie Start Page 449-481 (Publication Date）2004）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Journal of Symbolic Logic 52 Start Page 577-581 (Publication Date）1987/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
論理記号導入規則による論理的意味論について
- Author
- 岡田 光弘
- Publication Title
- Start Page 65-71 (Publication Date）1987/06）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
初期フッサールの「数理－哲学的研究の最終テーマ」とゲッチンゲン学派の論理哲学
- Author
- 岡田 光弘
- Publication Title
- Start Page 210-221 (Publication Date）1987/05）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
形式的意味論と整合性証明
- Author
- 岡田 光弘
- Publication Title
- (Publication Date）1986/12）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
- Author
- Masahiro Hamano and Mitsuhiro Okada
- Publication Title
- Magazine name RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. Publisher Research Institute for Mathematical Sciences, Kyoto University Start Page 169 - End Page 181 (Publication Date）1997/02）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without
Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus: Preliminary Report.
- Author
- Mitsuhiro Okada and Kazushige Terui.
- Publication Title
- Magazine name RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. Publisher Research Institute for Mathematical Sciences, Kyoto University Start Page 146 - End Page 168 (Publication Date）1997/02）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without
デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準
- Publication Title
- Start Page 63-86 (Publication Date）1996/10）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
- Author
- Misao Nagayama and Mitsuhiro Okada
- Publication Title
- Magazine name Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing, 欧州理論情報学会編） (Publication Date）1996/04）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A Higher Order Phase Semantics and Completeness, Cut-Elimination and Strong Normalization Proofs
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing 欧州理論情報学会編） (Publication Date）1996/04）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
線形論理に基づく並行計算モデル：並行計算の論理的理解の試み
- Publication Title
- Start Page 327-332 (Publication Date）1996/04）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
- Author
- Misao Nagayama and Mitsuhiro Okada
- Publication Title
- Magazine name RIMS Kokyuroku 927: Proceedings of Symposium on Kripke Models and Non-Standard Logic Publisher Research Institute for Mathematical Sciences, Kyoto University Start Page 66 - End Page 87 (Publication Date）1995）
- Publication Category
- Research paper (other academic)
Characterization Theorem for Multiplicative Fragment of Non-Communitative Linear Logic(Extended Abstract)
- Author
- M,Nagasawa, M. Okada
- Publication Title
- (Publication Date）1995/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- Without
人文科学の夢として、対象として,道具としてのコンピュータ
- Author
- 岡田 光弘
- Publication Title
- (Publication Date）1994/06）
- Authorship Category
- Single Work
- Peer-review Status
- Without
論理、言語、情報、研究余滴
- Author
- 岡田 光弘
- Publication Title
- (Publication Date）1994/04）
- Authorship Category
- Single Work
- Peer-review Status
- Without
Gentzen's Proof of Reduction, Kirby-Paris Hydra Game and Buchholz's Hydra Game
- Author
- Masahiro Hamano and Mitsuhiro Okada
- Publication Title
- Magazine name Proc. Of Imcomleteness in Arithmetic Symposium, Kyoto 1994 Dec.(「算術諸体系の不完全性の研究」シンポジウム）京都大学数理解析研究所講究録 Start Page 64-81 (Publication Date）1994/04）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without
A Note on the Strong Normalizability of the Self-Referential Logic
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name 三田哲学会編 哲学 Start Page 1-14 (Publication Date）1993/12）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
LAMBDALG-Higher Order Algebraic Specification Language
- Author
- Y.Gui, M. Okada
- Publication Title
- Start Page 462-466 (Publication Date）1993/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With