# zbMATH — the first resource for mathematics

Compute Distance To:
 Documents Indexed: 67 Publications since 1927, including 6 Books
all top 5

#### Co-Authors

 13 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 Dezani-Ciancaglini, Mariangiola 2 Mineshima, Koji 2 Sivakumar, G. D. 2 Takahashi, Masako 1 Ban Kirigin, Tajana 1 Chadha, Rohit 1 Cortier, Véronique 1 Eeralla, Ajay Kumar 1 Gui, Yexuan 1 Guttman, Joshua D. 1 Hartimo, Mirja Helena 1 Kirchner, Claude 1 Konagaya, Akihiko 1 Kuznetsov, Stepan L’vovich 1 Loo, Boon Thau 1 Marion, Mathieu 1 Nigam, Vivek 1 Pierce, Benjamin C. 1 Sakurada, Hideki 1 Sugimoto, Yutaro 1 Takeuti, Gaisi 1 Talcott, Carolyn L. 1 Tokuda, Hideyuki 1 Yonezawa, Akinori 1 Yoshikawa, Sumi
all top 5

#### Serials

 11 Theoretical Computer Science 4 The Journal of Symbolic Logic 4 RIMS Kokyuroku 3 Lecture Notes in Computer Science 2 Annals of the Japan Association for Philosophy of Science 2 Studia Logica 1 Synthese 1 European Journal of Combinatorics 1 MSCS. Mathematical Structures in Computer Science 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science 1 MSJ Memoirs
all top 5

#### Fields

 42 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 10 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 4 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX)

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

#### Cited in 24 Fields

 117 Mathematical logic and foundations (03-XX) 90 Computer science (68-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 9 Combinatorics (05-XX) 9 Nonassociative rings and algebras (17-XX) 7 Fluid mechanics (76-XX) 7 Quantum theory (81-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 Classical thermodynamics, heat transfer (80-XX) 3 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Algebraic geometry (14-XX) 2 Topological groups, Lie groups (22-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX)