Get started
Author

Mitsuhiro Okada

Observed names: M. Okada, Okada, Mitsuhiro
Institution: Keio University
ORCID: 0000-0001-8869-0760
Observed ORCID: 0000-0001-8869-0760
OpenAlex ID: A5102797548
A computation model for executable higher-order algebraic specification languages
2002 · J.-P. Jouannaud, M. Okada · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 102
The finite model property for various fragments of intuitionistic linear logic
1999 · Mitsuhiro Okada, Kazushige Terui · Journal of Symbolic Logic · 88
A rationale for conditional equational programming
1990 · Nachum Dershowitz, Mitsuhiro Okada · Theoretical Computer Science · 86
Canonical conditional rewrite systems
2005 · Nachum Dershowitz, Mitsuhiro Okada, et al. · Springer eBooks · 61
Satisfiability of systems of ordinal notations with the subterm property is decidable
1991 · Jean-Pierre Jouannaud, Mitsuhiro Okada · Lecture notes in computer science · 56
Confluence of conditional rewrite systems
1988 · Nachum Dershowitz, Mitsuhiro Okada, et al. · Lecture notes in computer science · 56
Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system
1989 · M. Okada · International Symposium on Symbolic and Algebraic Computation · 48
Proof-theoretic techniques for term rewriting theory
2003 · N. Dershowitz, M. Okada · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 42
A Note on Rewriting Theory for Uniqueness of Iteration
1999 · M. Okada, P. J. Scott · Theory and applications of categories · 34
A proof-theoretic study of the correspondence of classical logic and modal logic
2003 · H. Kushida, M. Okada · Journal of Symbolic Logic · 14
An Introduction to Linear Logic: Expressiveness and Phase Semantics
1998 · Mitsuhiro Okada · MSJ memoirs · 14
PDF
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective
2013 · Koji Mineshima, Yuri Sato, et al. · Journal of Visual Languages & Computing · 13
Note on a Proof of the Extended Kirby—Paris Theorem on Labeled Finite Trees
1988 · Mitsuhiro Okada · European Journal of Combinatorics · 9
PDF
Conditional Equational Programming and the Theory of Conditional Term Rewriting.
1988 · Nachum Dershowitz, Mitsuhiro Okada · Future Generation Computer Systems · 9
Conservativity for a hierarchy of Euler and Venn reasoning systems
2009 · Koji Mineshima, Mitsuhiro Okada, et al. · 7
Linear Logic and Intuitionistic Logic
2004 · Mitsuhiro Okada · Revue internationale de philosophie · 7
PDF
Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset
2024 · Kentaro Ozeki, Risako Ando, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL) · 5
PDF
A weak intuitionistic propositional logic with purely constructive implication
1987 · Mitsuhiro Okada · Studia Logica · 4
Preface
1996 · Jean-Yves Girard, Mitsuhiro Okada, et al. · Electronic Notes in Theoretical Computer Science · 3
PDF
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
1991 · Stéphane Kaplan, Mitsuhiro Okada · Springer eBooks · 3
Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases
2023 · Ando, Risako, Morishita, Takanobu, et al. · arXiv (Cornell University) · 2
PDF
Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)
1998 · Mitsuhiro Okada, Kazushige Terui · Institutional Repositories DataBase (IRDB) · 2
PDF
Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives
2025 · Kentaro Ozeki, Risako Ando, et al. · BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP (BlackboxNLP) · 1
PDF
Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?
2024 · Risako Ando, Kentaro Ozeki, et al. · Lecture notes in computer science · 1
PDF
Denotational Semantics for interrogative Sentences in Japanese
1992 · Mitsuhiro Okada, Kazue Watanabe · Institutional Repositories DataBase (IRDB) · 1
Works count: 40
Citation count: 668
H-index: 12
I10-index: 12
Year
Topic
Type