論文
岡田 光弘
81~100件（全139件）
A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics
- 著者名
- Misao Nagayama and Mitsuhiro Okada
- 掲載誌名
- 誌名Journal of Symbolic Logic 巻66(号4) 開始ページ1524 - 終了ページ1542 (出版年（月日）2001年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
「矛盾は矛盾か」 日本科学哲学会ラッセルパラドクス１００年特集
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名科学哲学 巻36(号2) 開始ページ79-102 (出版年（月日）2004年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Linear Logic and Intuitionistic Logic
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名La revue International de philosphie 開始ページ449-481 (出版年（月日）2004年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
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月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
論理記号導入規則による論理的意味論について
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名科学基礎論研究68、 日本科学基礎論学会 開始ページ65-71 (出版年（月日）1987年06月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
初期フッサールの「数理－哲学的研究の最終テーマ」とゲッチンゲン学派の論理哲学
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名哲学37 日本哲学会 開始ページ210-221 (出版年（月日）1987年05月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
形式的意味論と整合性証明
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名哲学(1986) 三田哲学会 (出版年（月日）1986年12月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
- 著者名
- Masahiro Hamano and Mitsuhiro Okada
- 掲載誌名
- 誌名RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. 出版社Research Institute for Mathematical Sciences, Kyoto University 開始ページ169 - 終了ページ181 (出版年（月日）1997年02月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
- 査読有無
- 無し
Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus: Preliminary Report.
- 著者名
- Mitsuhiro Okada and Kazushige Terui.
- 掲載誌名
- 誌名RIMS Kokyuroku 976: Proceedings of the Symposium on Proof Theory and Ordinals, edited by Toshiyasu Arai. 出版社Research Institute for Mathematical Sciences, Kyoto University 開始ページ146 - 終了ページ168 (出版年（月日）1997年02月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
- 査読有無
- 無し
デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準
- 掲載誌名
- 誌名哲学 三田哲学会編 開始ページ63-86 (出版年（月日）1996年10月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
- 著者名
- Misao Nagayama and Mitsuhiro Okada
- 掲載誌名
- 誌名Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing, 欧州理論情報学会編） (出版年（月日）1996年04月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
A Higher Order Phase Semantics and Completeness, Cut-Elimination and Strong Normalization Proofs
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Electoronic Notes of Theoretical Computer Science 3(Elsevier Science Publishing 欧州理論情報学会編） (出版年（月日）1996年04月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
線形論理に基づく並行計算モデル：並行計算の論理的理解の試み
- 掲載誌名
- 誌名情報処理（日本情報処理学会誌）,並行計算特集 開始ページ327-332 (出版年（月日）1996年04月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
- 著者名
- Misao Nagayama and Mitsuhiro Okada
- 掲載誌名
- 誌名RIMS Kokyuroku 927: Proceedings of Symposium on Kripke Models and Non-Standard Logic 出版社Research Institute for Mathematical Sciences, Kyoto University 開始ページ66 - 終了ページ87 (出版年（月日）1995年）
- 掲載種別
- 研究論文（その他学術会議資料等）
Characterization Theorem for Multiplicative Fragment of Non-Communitative Linear Logic(Extended Abstract)
- 著者名
- M,Nagasawa, M. Okada
- 掲載誌名
- 誌名Proceedings of Symposium on Kripke Models and Non-Standard Logic, Kyoto(京都大学数理解析研究所） (出版年（月日）1995年06月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 無し
人文科学の夢として、対象として,道具としてのコンピュータ
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名三色旗 慶應義塾大学通信教育部 (出版年（月日）1994年06月）
- 共著区分
- 単著
- 査読有無
- 無し
論理、言語、情報、研究余滴
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名三田評論 (出版年（月日）1994年04月）
- 共著区分
- 単著
- 査読有無
- 無し
Gentzen's Proof of Reduction, Kirby-Paris Hydra Game and Buchholz's Hydra Game
- 著者名
- Masahiro Hamano and Mitsuhiro Okada
- 掲載誌名
- 誌名Proc. Of Imcomleteness in Arithmetic Symposium, Kyoto 1994 Dec.(「算術諸体系の不完全性の研究」シンポジウム）京都大学数理解析研究所講究録 開始ページ64-81 (出版年（月日）1994年04月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
- 査読有無
- 無し
A Note on the Strong Normalizability of the Self-Referential Logic
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名三田哲学会編 哲学 開始ページ1-14 (出版年（月日）1993年12月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
LAMBDALG-Higher Order Algebraic Specification Language
- 著者名
- Y.Gui, M. Okada
- 掲載誌名
- 誌名Proc., of Rewriting Techniques and Applications, Springer LNCS 690(ドイツSpringer社） 開始ページ462-466 (出版年（月日）1993年06月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り