Edit Profile (opens in new tab) Okada, Mitsuhiro Co-Author Distance Author ID: okada.mitsuhiro Published as: Okada, Mitsuhiro; Okada, M. Documents Indexed: 61 Publications since 1984, including 1 Additional arXiv Preprint 9 Contributions as Editor Co-Authors: 43 Co-Authors with 46 Joint Publications 737 Co-Co-Authors all top 5 Co-Authors 15 single-authored 6 Scedrov, Andre 5 Jouannaud, Jean-Pierre 4 Hasebe, Koji 4 Nagayama, Misao 4 Terui, Kazushige 3 Bana, Gergei 3 Blanqui, Frédéric 3 Dershowitz, Nachum 3 Girard, Jean-Yves 3 Hamano, Masahiro 3 Kanovich, Max Iosifovich 3 Takemura, Ryo 2 Kushida, Hirohiko 2 Mineshima, Koji 2 Sivakumar, G. D. 2 Takahashi, Yuta 1 Arai, Toshiyasu 1 Ban Kirigin, Tajana 1 Chadha, Rohit 1 Cortier, Véronique 1 Dezani-Ciancaglini, Mariangiola 1 Eeralla, Ajay Kumar 1 Gui, Yexuan 1 Guttman, Joshua D. 1 Hartimo, Mirja Helena 1 Hatayama, Goro 1 Hatchett, J. P. L. 1 Kaplan, Stéphane 1 Kikuchi, Makoto 1 Kirchner, Claude 1 Kobayashi, Shoichi 1 Koguchi, Hideo 1 Konagaya, Akihiko 1 Kuniba, Atsuo 1 Kuroda, Satoru 1 Kuznetsov, Stepan L’vovich 1 Loo, Boon Thau 1 Marion, Mathieu 1 Nigam, Vivek 1 Nishimura, Naoshi 1 Nishimuta, Yuki 1 Pierce, Benjamin C. 1 Saika, Yôhei 1 Sakurada, Hideki 1 Scott, Philip J. 1 Sugimoto, Yutaro 1 Takagi, Taichiro 1 Takahashi, Masako 1 Takeuti, Gaisi 1 Talcott, Carolyn L. 1 Tokuda, Hideyuki 1 Yamada, Yasuhiko 1 Yonezawa, Akinori 1 Yorioka, Teruyuki 1 Yoshikawa, Sumi all top 5 Serials 10 Theoretical Computer Science 5 The Journal of Symbolic Logic 4 RIMS Kokyuroku 4 Lecture Notes in Computer Science 2 Annals of the Japan Association for Philosophy of Science 2 Studia Logica 2 Journal of Logic, Language and Information 1 International Journal of Heat and Mass Transfer 1 Journal of Applied Mechanics 1 Synthese 1 European Journal of Combinatorics 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Physics A: Mathematical and General 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Theory and Applications of Categories 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science 1 MSJ Memoirs 1 Springer Proceedings in Mathematics & Statistics all top 5 Fields 48 Mathematical logic and foundations (03-XX) 30 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 6 Information and communication theory, circuits (94-XX) 5 History and biography (01-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 40 Publications have been cited 279 times in 214 Documents Cited by ▼ Year ▼ The finite model property for various fragments of intuitionistic linear logic. Zbl 0930.03021 Okada, Mitsuhiro; Terui, Kazushige 38 1999 A rationale for conditional equational programming. Zbl 0702.68034 Dershowitz, Nachum; Okada, Mitsuhiro 31 1990 Canonical conditional rewrite systems. Zbl 0667.68043 Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G. 24 1988 A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. Zbl 1048.03042 Okada, Mitsuhiro 23 2002 Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic. Zbl 0951.03058 Okada, Mitsuhiro 22 1999 Satisfiability of systems of ordinal notations with the subterm property is decidable. Zbl 0789.68125 Jouannaud, Jean-Pierre; Okada, Mitsuhiro 18 1991 Confluence of conditional rewrite systems. Zbl 0666.68094 Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G. 17 1988 Inductive-data-type systems. Zbl 0992.68121 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 16 2002 Scattering rules in soliton cellular automata associated with crystal bases. Zbl 1032.81019 Hatayama, G.; Kuniba, A.; Okada, M.; Takagi, T.; Yamada, Y. 15 2002 Analysis of heat transfer during melting from a vertical wall. Zbl 0555.76083 Okada, M. 12 1984 A diagrammatic inference system with Euler circles. Zbl 1305.03014 Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 11 2012 Abstract data type systems. Zbl 0901.68121 Jouannaud, Jean-Pierre; Okada, Mitsuhiro 10 1997 The calculus of algebraic constructions. Zbl 0943.68153 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 8 1999 Phase semantics for light linear logic. Zbl 1029.03052 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 8 2003 A relationship among Gentzen’s proof-reduction, Kirby-Paris’ Hydra game and Buchholz’s Hydra game. Zbl 0872.03038 Hamano, Masahiro; Okada, Mitsuhiro 6 1997 Note on a proof of the extended Kirby-Paris theorem on labelled finite trees. Zbl 0657.05020 Okada, Mitsuhiro 5 1988 Phase semantics for light linear logic. Zbl 0911.68122 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 5 1997 A note on rewriting theory for uniqueness of iteration. Zbl 0933.68067 Okada, M.; Scott, P. J. 4 1999 A direct independence proof of Buchholz’s Hydra Game on finite labeled trees. Zbl 0908.03047 Hamano, Masahiro; Okada, Mitsuhiro 4 1998 Phase semantics for higher order completeness, cut-elimination and normalization proofs. (Extended abstract). Zbl 0908.03013 Okada, Mitsuhiro 4 1996 A proof-theoretic study of the correspondence of classical logic and modal logic. Zbl 1056.03009 Kushida, H.; Okada, M. 4 2003 A simple relationship between Buchholz’s new system of ordinal notations and Takeuti’s system of ordinal diagrams. Zbl 0636.03051 Okada, Mitsuhiro 3 1987 Completeness proofs for linear logic based on the proof search method (preliminary report). Zbl 0938.03551 Okada, Mitsuhiro; Terui, Kazushige 3 1998 Husserl and Hilbert on completeness and Husserl’s term rewrite-based theory of multiplicity (invited talk). Zbl 1356.03006 Okada, Mitsuhiro 3 2011 On the theory of quasi ordinal diagrams. Zbl 0644.03030 Okada, Mitsuhiro; Takeuti, Gaisi 2 1987 A logical analysis on theory of conditional rewriting. Zbl 0667.68106 Okada, Mitsuhiro 2 1988 A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046 Nagayama, Misao; Okada, Mitsuhiro 2 1996 Intuitionistic phase semantics is almost classical. Zbl 1095.03071 Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige 2 2006 Syntactic reduction in Husserl’s early phenomenology of arithmetic. Zbl 1384.03008 Hartimo, Mirja; Okada, Mitsuhiro 2 2016 A generalized syllogistic inference system based on inclusion and exclusion relations. Zbl 1252.03071 Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 2 2012 A weak intuitionistic propositional logic with purely constructive implication. Zbl 0644.03005 Okada, Mitsuhiro 1 1987 A time domain BIE crack analysis. Zbl 0673.73075 Nishimura, N.; Kobayashi, S.; Okada, M. 1 1987 An introduction to linear logic: Expressiveness and phase semantics. Zbl 0935.03030 Okada, Mitsuhiro 1 1998 A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051 Nagayama, Misao; Okada, Mitsuhiro 1 2001 A proof-theoretic study of the correspondence of hybrid logic and classical logic. Zbl 1160.03316 Kushida, H.; Okada, M. 1 2007 A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054 Nagayama, Misao; Okada, Mitsuhiro 1 2003 Formal analysis of the \(i\)KP electronic payment protocols. Zbl 1033.68568 Hasebe, Koji; Okada, Mitsuhiro 1 2003 Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004 1 2020 Completeness and counter-example generations of a basic protocol logic (extended abstract). Zbl 1276.03026 Hasebe, Koji; Okada, Mitsuhiro 1 2006 Corrigendum to: “Inductive-data-type systems”. Zbl 1432.68210 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 1 2020 Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004 1 2020 Corrigendum to: “Inductive-data-type systems”. Zbl 1432.68210 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 1 2020 Syntactic reduction in Husserl’s early phenomenology of arithmetic. Zbl 1384.03008 Hartimo, Mirja; Okada, Mitsuhiro 2 2016 A diagrammatic inference system with Euler circles. Zbl 1305.03014 Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 11 2012 A generalized syllogistic inference system based on inclusion and exclusion relations. Zbl 1252.03071 Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 2 2012 Husserl and Hilbert on completeness and Husserl’s term rewrite-based theory of multiplicity (invited talk). Zbl 1356.03006 Okada, Mitsuhiro 3 2011 A proof-theoretic study of the correspondence of hybrid logic and classical logic. Zbl 1160.03316 Kushida, H.; Okada, M. 1 2007 Intuitionistic phase semantics is almost classical. Zbl 1095.03071 Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige 2 2006 Completeness and counter-example generations of a basic protocol logic (extended abstract). Zbl 1276.03026 Hasebe, Koji; Okada, Mitsuhiro 1 2006 Phase semantics for light linear logic. Zbl 1029.03052 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 8 2003 A proof-theoretic study of the correspondence of classical logic and modal logic. Zbl 1056.03009 Kushida, H.; Okada, M. 4 2003 A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054 Nagayama, Misao; Okada, Mitsuhiro 1 2003 Formal analysis of the \(i\)KP electronic payment protocols. Zbl 1033.68568 Hasebe, Koji; Okada, Mitsuhiro 1 2003 A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. Zbl 1048.03042 Okada, Mitsuhiro 23 2002 Inductive-data-type systems. Zbl 0992.68121 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 16 2002 Scattering rules in soliton cellular automata associated with crystal bases. Zbl 1032.81019 Hatayama, G.; Kuniba, A.; Okada, M.; Takagi, T.; Yamada, Y. 15 2002 A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051 Nagayama, Misao; Okada, Mitsuhiro 1 2001 The finite model property for various fragments of intuitionistic linear logic. Zbl 0930.03021 Okada, Mitsuhiro; Terui, Kazushige 38 1999 Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic. Zbl 0951.03058 Okada, Mitsuhiro 22 1999 The calculus of algebraic constructions. Zbl 0943.68153 Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro 8 1999 A note on rewriting theory for uniqueness of iteration. Zbl 0933.68067 Okada, M.; Scott, P. J. 4 1999 A direct independence proof of Buchholz’s Hydra Game on finite labeled trees. Zbl 0908.03047 Hamano, Masahiro; Okada, Mitsuhiro 4 1998 Completeness proofs for linear logic based on the proof search method (preliminary report). Zbl 0938.03551 Okada, Mitsuhiro; Terui, Kazushige 3 1998 An introduction to linear logic: Expressiveness and phase semantics. Zbl 0935.03030 Okada, Mitsuhiro 1 1998 Abstract data type systems. Zbl 0901.68121 Jouannaud, Jean-Pierre; Okada, Mitsuhiro 10 1997 A relationship among Gentzen’s proof-reduction, Kirby-Paris’ Hydra game and Buchholz’s Hydra game. Zbl 0872.03038 Hamano, Masahiro; Okada, Mitsuhiro 6 1997 Phase semantics for light linear logic. Zbl 0911.68122 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 5 1997 Phase semantics for higher order completeness, cut-elimination and normalization proofs. (Extended abstract). Zbl 0908.03013 Okada, Mitsuhiro 4 1996 A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046 Nagayama, Misao; Okada, Mitsuhiro 2 1996 Satisfiability of systems of ordinal notations with the subterm property is decidable. Zbl 0789.68125 Jouannaud, Jean-Pierre; Okada, Mitsuhiro 18 1991 A rationale for conditional equational programming. Zbl 0702.68034 Dershowitz, Nachum; Okada, Mitsuhiro 31 1990 Canonical conditional rewrite systems. Zbl 0667.68043 Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G. 24 1988 Confluence of conditional rewrite systems. Zbl 0666.68094 Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G. 17 1988 Note on a proof of the extended Kirby-Paris theorem on labelled finite trees. Zbl 0657.05020 Okada, Mitsuhiro 5 1988 A logical analysis on theory of conditional rewriting. Zbl 0667.68106 Okada, Mitsuhiro 2 1988 A simple relationship between Buchholz’s new system of ordinal notations and Takeuti’s system of ordinal diagrams. Zbl 0636.03051 Okada, Mitsuhiro 3 1987 On the theory of quasi ordinal diagrams. Zbl 0644.03030 Okada, Mitsuhiro; Takeuti, Gaisi 2 1987 A weak intuitionistic propositional logic with purely constructive implication. Zbl 0644.03005 Okada, Mitsuhiro 1 1987 A time domain BIE crack analysis. Zbl 0673.73075 Nishimura, N.; Kobayashi, S.; Okada, M. 1 1987 Analysis of heat transfer during melting from a vertical wall. Zbl 0555.76083 Okada, M. 12 1984 all cited Publications top 5 cited Publications all top 5 Cited by 246 Authors 13 Okada, Mitsuhiro 10 Jouannaud, Jean-Pierre 9 Takemura, Ryo 8 Dershowitz, Nachum 6 Gramlich, Bernhard 6 Kamide, Norihiro 6 Kanovich, Max Iosifovich 6 Middeldorp, Aart 5 Blanqui, Frédéric 5 Galatos, Nikolaos 5 Klop, Jan Willem 5 Kuznetsov, Stepan L’vovich 5 Lucas, Salvador 5 Meseguer Guaita, José 5 Nieuwenhuis, Robert 5 Rubio, Albert 5 Terui, Kazushige 4 Bouhoula, Adel 4 Ciabattoni, Agata 4 Hamana, Makoto 4 Hermant, Olivier 4 Ono, Hiroakira 4 Scedrov, Andre 4 Wirth, Claus-Peter 3 Buşneag, Dumitru 3 Buszkowski, Wojciech 3 Hofbauer, Dieter 3 Kirchner, Claude 3 Loría-Sáenz, Carlos 3 Mineshima, Koji 3 Piciu, Dana 3 Wurm, Christian 2 Avenhaus, Jürgen 2 Baillot, Patrick 2 Bevers, Eddy 2 Brunel, Aloïs 2 Cirstea, Horatiu 2 Comon, Hubert 2 Dowek, Gilles 2 Ehrhard, Thomas 2 Feuillade, Guillaume 2 Genet, Thomas 2 Greco, Giuseppe 2 Hamano, Masahiro 2 Hartimo, Mirja Helena 2 Herbelin, Hugo 2 Houtmann, Clément 2 Kesner, Delia 2 Kop, Cynthia 2 Lee, Gyesik 2 Lewi, Johan 2 Morrill, Glyn V. 2 Palmigiano, Alessandra 2 Stapleton, Gem 2 Takahashi, Yuta 2 Treinen, Ralf 2 Tzimoulis, Apostolos 2 van Alten, Clint J. 2 Viry, Patrick 2 Voronkov, Andrei 1 Abel, Andreas M. 1 Agliano, Paolo 1 Aguzzi, Gianni 1 Aiguier, Marc 1 Akama, Yohji 1 Akbar Tabatabai, Amirhossein 1 Alpuente, María 1 Amblard, Maxime 1 Asada, Kazuyuki 1 Avigad, Jeremy 1 Bahrami, Diane 1 Bakhshi, Mahmood 1 Bana, Gergei 1 Bartoletti, Massimo 1 Becker, Klaus W. 1 Beklemishev, Lev D. 1 Berger, Ulrich 1 Bertling, Hubert 1 Bertolissi, Clara 1 Bezhanishvili, Nick 1 Bílková, Marta 1 Blok, Willem Johannes 1 Bockmayr, Alexander 1 Borumand Saeid, Arsham 1 Boudet, Alexandre 1 Bruni, Roberto 1 Bucciarelli, Antonio 1 Burel, Guillaume 1 Burton, Jim 1 Bury, Guillaume 1 Caleiro, Carlos 1 Carl, Merlin 1 Carlucci, Lorenzo 1 Carnielli, Walter Alexandre 1 Cauderlier, Raphaël 1 Cerrito, Serenella 1 Chemouil, David 1 Chen, Jinsheng 1 Cheng, Yong 1 da Silva, Jairo José ...and 146 more Authors all top 5 Cited in 43 Serials 29 Theoretical Computer Science 12 Studia Logica 9 Annals of Pure and Applied Logic 9 Information and Computation 7 Journal of Automated Reasoning 6 Journal of Symbolic Computation 6 Journal of Logic, Language and Information 5 MSCS. Mathematical Structures in Computer Science 5 Soft Computing 5 Logical Methods in Computer Science 4 Fuzzy Sets and Systems 4 The Journal of Symbolic Logic 3 Synthese 3 Archive for Mathematical Logic 3 Applicable Algebra in Engineering, Communication and Computing 3 Mathematical Logic Quarterly (MLQ) 3 Higher-Order and Symbolic Computation 3 ACM Transactions on Computational Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Journal of Philosophical Logic 2 Transactions of the American Mathematical Society 2 Journal of Applied Non-Classical Logics 2 The Bulletin of Symbolic Logic 1 Acta Informatica 1 International Journal of Theoretical Physics 1 Journal of Computer and System Sciences 1 Notre Dame Journal of Formal Logic 1 Bulletin of the Section of Logic 1 European Journal of Combinatorics 1 International Journal of Computer Mathematics 1 Indagationes Mathematicae. New Series 1 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Sbornik: Mathematics 1 Theory of Computing Systems 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Applied Logic 1 Iranian Journal of Fuzzy Systems 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 The Review of Symbolic Logic all top 5 Cited in 14 Fields 147 Mathematical logic and foundations (03-XX) 123 Computer science (68-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 4 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 3 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year