Papers - Okada, Mitsuhiro
-
A proof-theoretic study of the correspondence of classical logic and modal logic
M. Okada, H. Kushida
Journal of Symbolic Logic 68 ( 4 ) 1403-1414 2003
Research paper (scientific journal), Single Work, Accepted
-
オントロジー応用のための方法論の考察と展望
岡田 光弘
人工知能学会誌 17 ( 5 ) 604-613 2002.09
Research paper (scientific journal), Single Work
-
現代のフォーマルオントロジーの動向とオントロジー工学
岡田 光弘
人工知能学会誌 17 ( 4 ) 434-442 2002.07
Research paper (scientific journal), Single Work
-
A Uniform Semantic Proof for Cut-Elimination and Completeness of Various First and Higher Order Logics
Mitsuhiro Okada
Theoretical Computer Science 2002 ( 281 ) 471 - 498 2002.06
Research paper (scientific journal), Single Work, Accepted
-
フッサールのフォーマルオントロジーとその影響
岡田 光弘
人工知能学会誌 Vol.17 ( No.3 ) 335-344 2002.05
Research paper (scientific journal), Single Work, Accepted
-
レクチャーシリーズ「哲学とAIにおける対象世界モデリング」の企画にあたって.
溝口 理一郎, 岡田 光弘.
人工知能学会誌 17 ( 2 ) 224 - 231 2002.03
Research paper (scientific journal), Joint Work
-
オントロジーの哲学的・論理学的背景
岡田 光弘
人工知能学会誌 Vol.17 ( No.2 ) 224-231 2002.03
Research paper (scientific journal), Single Work, Accepted
-
Preface
Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, and Masako Takahashi.
Theoretical Computer Science 272 ( 1--2 ) 1 - 2 2002.02
Research paper (scientific journal), Joint Work, Accepted
-
線形論理に基づいたセキュリティ・プロトコルの論理的検証法
岡田 光弘, 長谷部浩二
電子情報通信学会「人工知能と知識処理」研究会報告集 102 ( 91 ) 49 - 54 2002
Research paper (other academic), Joint Work
-
Inductive Date Type Systems
F. Blanqui, J-P. Jouannaud, M. Okada
Thoretical Computer Science 272 41-68 2002
Research paper (scientific journal), Joint Work, Accepted
-
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
Research paper (scientific journal), Joint Work, Accepted
-
A Note on Rewriting Theory for Uniqueness of Itaration
M. Okada, P-J. Scott
Theory and Applications of Categories Vol.6, No.4 Vol.6 ( No.4 ) 47-64 1999.12
Research paper (scientific journal), Joint Work, Accepted
-
Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic
Mitsuhiro Okada
Theoretical Computer Science (欧州理論情報学会誌) 227 ( 1--2 ) 333 - 396 1999.09
Research paper (scientific journal), Single Work, Accepted
-
The Calculus of Algebraic Constructions. In Rewriting Techniques and Applications (eds. by Paliath Narendran and Michaël Rusinowitch)
Mitsuhiro Okada
Rewriting Techniques and Applications, 10th International Conference, RTA-99 Trento, Italy, July 2--4, 1999 Proceedings, volume 1631 of Lecture Notes in Computer Science 301 - 316 1999.06
Research paper (scientific journal), Single Work, Accepted
-
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic
M. Okada, K. Terui
Journal of Symbolic Logic 64 790 - 802 1999.03
Research paper (scientific journal), Joint Work, Accepted
-
Specifying Real-Time Finite State Systems by Linear Logic
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov
Electoronic Notes of Theoretical Computer Science (Elsevier Science Publishing, 欧州理論情報学会編）Vol.16 Part I 1998.09
Research paper (international conference proceedings), Joint Work, Accepted
-
A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees.
M. Hamano and M. Okada
Archive for Mathematical Logic 37 ( 2 ) 67 - 89 1998
Research paper (scientific journal), Joint Work, Accepted
-
Completeness Proofs for Linear Logic Based on the Proof Search Method (Preliminary Report). In RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems (ed. by J. Garrigue)
Mitsuhiro Okada and Kazushige Terui.
RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems (Research Institute for Mathematical Sciences, Kyoto University.) 57 - 75 1998
Research paper (other academic), Joint Work
-
Abstract Data Type Systems
J.-P. Jouannaud, M. Okada
Theoretical Computer science 173 (欧州理論情報学会誌）, 349-391 1997.12
Research paper (scientific journal), Joint Work, Accepted
-
Phase Semantics for Light Linear Logic (extended abstract)
M. Kanovitch, M. Okada, A. Scedrov
Electoronic Notes of Theoretical Computer Science 5(Elsevier Science Publishing, 欧州理論情報学会編） 221 - 234 1997.04
Research paper (international conference proceedings), Joint Work, Accepted