×
Author ID: okada.mitsuhiro Recent zbMATH articles by "Okada, Mitsuhiro"
Published as: Okada, Mitsuhiro; Okada, M.

Publications by Year

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 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

Citations by Year