×

zbMATH — the first resource for mathematics

Okada, Mitsuhiro

Compute Distance To:
Author ID: okada.mitsuhiro Recent zbMATH articles by "Okada, Mitsuhiro"
Published as: Okada, M.; Okada, Mitsuhiro
Documents Indexed: 67 Publications since 1927, including 6 Books

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 232 times in 188 Documents Cited by Year
The finite model property for various fragments of intuitionistic linear logic. Zbl 0930.03021
Okada, Mitsuhiro; Terui, Kazushige
35
1999
A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. Zbl 1048.03042
Okada, Mitsuhiro
18
2002
Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic. Zbl 0951.03058
Okada, Mitsuhiro
18
1999
A rationale for conditional equational programming. Zbl 0702.68034
Dershowitz, Nachum; Okada, Mitsuhiro
18
1990
Canonical conditional rewrite systems. Zbl 0667.68043
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
14
1988
Inductive-data-type systems. Zbl 0992.68121
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
13
2002
Scattering rules in soliton cellular automata associated with crystal bases. Zbl 1032.81019
Hatayama, G.; Kuniba, A.; Okada, M.; Takagi, T.; Yamada, Y.
12
2002
Satisfiability of systems of ordinal notations with the subterm property is decidable. Zbl 0789.68125
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
11
1991
Abstract data type systems. Zbl 0901.68121
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
9
1997
Confluence of conditional rewrite systems. Zbl 0666.68094
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
8
1988
A diagrammatic inference system with Euler circles. Zbl 1305.03014
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo
7
2012
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
7
2003
The calculus of algebraic constructions. Zbl 0943.68153
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
7
1999
Analysis of heat transfer during melting from a vertical wall. Zbl 0555.76083
Okada, M.
7
1984
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
A proof-theoretic study of the correspondence of classical logic and modal logic. Zbl 1056.03009
Kushida, H.; Okada, M.
4
2003
A note on rewriting theory for uniqueness of iteration. Zbl 0933.68067
Okada, M.; Scott, P. J.
4
1999
A relationship among Gentzen’s proof-reduction, Kirby-Paris’ Hydra game and Buchholz’s Hydra game. Zbl 0872.03038
Hamano, Masahiro; Okada, Mitsuhiro
4
1997
Phase semantics for higher order completeness, cut-elimination and normalization proofs. (Extended abstract). Zbl 0908.03013
Okada, Mitsuhiro
4
1996
Completeness proofs for linear logic based on the proof search method (preliminary report). Zbl 0938.03551
Okada, Mitsuhiro; Terui, Kazushige
3
1998
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
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
2
2011
An introduction to linear logic: Expressiveness and phase semantics. Zbl 0935.03030
Okada, Mitsuhiro
2
1998
A direct independence proof of Buchholz’s Hydra Game on finite labeled trees. Zbl 0908.03047
Hamano, Masahiro; Okada, Mitsuhiro
2
1998
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046
Nagayama, Misao; Okada, Mitsuhiro
2
1996
Note on a proof of the extended Kirby-Paris theorem on labelled finite trees. Zbl 0657.05020
Okada, Mitsuhiro
2
1988
On the theory of quasi ordinal diagrams. Zbl 0644.03030
Okada, Mitsuhiro; Takeuti, Gaisi
2
1987
Syntactic reduction in Husserl’s early phenomenology of arithmetic. Zbl 1384.03008
Hartimo, Mirja; Okada, Mitsuhiro
1
2016
Completeness and counter-example generations of a basic protocol logic (extended abstract). Zbl 1276.03026
Hasebe, Koji; Okada, Mitsuhiro
1
2006
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
1
2006
Formal analysis of the \(i\)KP electronic payment protocols. Zbl 1033.68568
Hasebe, Koji; Okada, Mitsuhiro
1
2003
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
Nagayama, Misao; Okada, Mitsuhiro
1
2003
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051
Nagayama, Misao; Okada, Mitsuhiro
1
2001
A time domain BIE crack analysis. Zbl 0673.73075
Nishimura, N.; Kobayashi, S.; Okada, M.
1
1987
Syntactic reduction in Husserl’s early phenomenology of arithmetic. Zbl 1384.03008
Hartimo, Mirja; Okada, Mitsuhiro
1
2016
A diagrammatic inference system with Euler circles. Zbl 1305.03014
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo
7
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
2
2011
Completeness and counter-example generations of a basic protocol logic (extended abstract). Zbl 1276.03026
Hasebe, Koji; Okada, Mitsuhiro
1
2006
Intuitionistic phase semantics is almost classical. Zbl 1095.03071
Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige
1
2006
Phase semantics for light linear logic. Zbl 1029.03052
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
7
2003
A proof-theoretic study of the correspondence of classical logic and modal logic. Zbl 1056.03009
Kushida, H.; Okada, M.
4
2003
Formal analysis of the \(i\)KP electronic payment protocols. Zbl 1033.68568
Hasebe, Koji; Okada, Mitsuhiro
1
2003
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
Nagayama, Misao; 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
18
2002
Inductive-data-type systems. Zbl 0992.68121
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
13
2002
Scattering rules in soliton cellular automata associated with crystal bases. Zbl 1032.81019
Hatayama, G.; Kuniba, A.; Okada, M.; Takagi, T.; Yamada, Y.
12
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
35
1999
Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic. Zbl 0951.03058
Okada, Mitsuhiro
18
1999
The calculus of algebraic constructions. Zbl 0943.68153
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro
7
1999
A note on rewriting theory for uniqueness of iteration. Zbl 0933.68067
Okada, M.; Scott, P. J.
4
1999
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
2
1998
A direct independence proof of Buchholz’s Hydra Game on finite labeled trees. Zbl 0908.03047
Hamano, Masahiro; Okada, Mitsuhiro
2
1998
Abstract data type systems. Zbl 0901.68121
Jouannaud, Jean-Pierre; Okada, Mitsuhiro
9
1997
Phase semantics for light linear logic. Zbl 0911.68122
Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre
5
1997
A relationship among Gentzen’s proof-reduction, Kirby-Paris’ Hydra game and Buchholz’s Hydra game. Zbl 0872.03038
Hamano, Masahiro; Okada, Mitsuhiro
4
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
11
1991
A rationale for conditional equational programming. Zbl 0702.68034
Dershowitz, Nachum; Okada, Mitsuhiro
18
1990
Canonical conditional rewrite systems. Zbl 0667.68043
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
14
1988
Confluence of conditional rewrite systems. Zbl 0666.68094
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
8
1988
Note on a proof of the extended Kirby-Paris theorem on labelled finite trees. Zbl 0657.05020
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 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.
7
1984
all top 5

Cited by 255 Authors

11 Okada, Mitsuhiro
6 Jouannaud, Jean-Pierre
6 Kamide, Norihiro
6 Takemura, Ryo
5 Galatos, Nikolaos
5 Meseguer Guaita, José
4 Blanqui, Frédéric
4 Bouhoula, Adel
4 Ciabattoni, Agata
4 Kanovich, Max Iosifovich
4 Middeldorp, Aart
4 Nieuwenhuis, Robert
4 Ono, Hiroakira
4 Scrimshaw, Travis
4 Terui, Kazushige
3 Buşneag, Dumitru
3 Gramlich, Bernhard
3 Hermant, Olivier
3 Kirchner, Claude
3 Kuniba, Atsuo
3 Lucas, Salvador
3 Mineshima, Koji
3 Negri, Sara
3 Okado, Masato
3 Piciu, Dana
3 Rubio, Albert
3 Sakamoto, Reiho
3 Wurm, Christian
2 Baillot, Patrick
2 Brunel, Aloïs
2 Buszkowski, Wojciech
2 Cirstea, Horatiu
2 Dershowitz, Nachum
2 Dowek, Gilles
2 Ehrhard, Thomas
2 Feuillade, Guillaume
2 Genet, Thomas
2 Hamana, Makoto
2 Hamano, Masahiro
2 Herbelin, Hugo
2 Houtmann, Clément
2 Kesner, Delia
2 Kop, Cynthia
2 Lee, Gyesik
2 Morrill, Glyn V.
2 Nakashima, Toshiki
2 Scedrov, Andre
2 Takagi, Taichiro
2 Treinen, Ralf
2 van Alten, Clint J.
2 Viry, Patrick
2 Voronkov, Andrei
2 Wirth, Claus-Peter
2 Yamada, Yasuhiko
1 Abel, Andreas M.
1 Achenbach, Jan D.
1 Agliano, Paolo
1 Ahman, Danel
1 Aiguier, Marc
1 Akama, Yohji
1 Alpuente, María
1 Amblard, Maxime
1 Asada, Kazuyuki
1 Avenhaus, Jürgen
1 Avigad, Jeremy
1 Bahrami, Diane
1 Baker, Timothy H.
1 Bakhshi, Mahmood
1 Bana, Gergei
1 Bartoletti, Massimo
1 Beklemishev, Lev D.
1 Berger, Ulrich
1 Bergman, Theodore L.
1 Bertolissi, Clara
1 Bevers, Eddy
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Blake, Andrew
1 Blok, Willem Johannes
1 Bockmayr, Alexander
1 Borumand Saeid, Arsham
1 Bruni, Roberto
1 Bucciarelli, Antonio
1 Burel, Guillaume
1 Burton, Jim
1 Bury, Guillaume
1 Carlucci, Lorenzo
1 Carnielli, Walter Alexandre
1 Cauderlier, Raphaël
1 Cerrito, Serenella
1 Chemouil, David
1 Comon, Hubert
1 da Silva, Jairo José
1 Dal Lago, Ugo
1 Danaila, Ionut
1 Danos, Vincent
1 de Groote, Philippe
1 de Vrijer, R. C.
1 Degano, Pierpaolo
1 Degtyarev, Anatoli Ivanovich
...and 155 more Authors
all top 5

Cited in 58 Serials

30 Theoretical Computer Science
11 Studia Logica
9 Annals of Pure and Applied Logic
8 Information and Computation
7 Journal of Automated Reasoning
7 Journal of Logic, Language and Information
6 Journal of Symbolic Computation
5 Soft Computing
4 Fuzzy Sets and Systems
4 The Journal of Symbolic Logic
3 Nuclear Physics. B
3 Journal of Philosophical Logic
3 MSCS. Mathematical Structures in Computer Science
3 Applicable Algebra in Engineering, Communication and Computing
3 Mathematical Logic Quarterly (MLQ)
3 Higher-Order and Symbolic Computation
2 Information Processing Letters
2 Journal of Computational Physics
2 Journal of Algebra
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Synthese
2 Transactions of the American Mathematical Society
2 Archive for Mathematical Logic
2 Journal of Applied Non-Classical Logics
2 The Bulletin of Symbolic Logic
2 ACM Transactions on Computational Logic
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Fluid Dynamics
1 International Journal of Heat and Mass Transfer
1 International Journal of Theoretical Physics
1 Wave Motion
1 Journal of Geometry and 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 Algebraic Combinatorics
1 Journal of Functional Programming
1 Selecta Mathematica. New Series
1 Annals of Mathematics and Artificial Intelligence
1 Sbornik: Mathematics
1 Representation Theory
1 Theory of Computing Systems
1 International Journal of Computational Fluid Dynamics
1 RAIRO. Theoretical Informatics and Applications
1 Annales Henri Poincaré
1 Sādhanā
1 Journal of Multiple-Valued Logic and Soft Computing
1 Journal of Applied Logic
1 Iranian Journal of Fuzzy Systems
1 Logica Universalis
1 Logical Methods in Computer Science
1 The Review of Symbolic Logic
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year