| Residuated lattices: an algebraic glimpse at substructural logics N Galatos Elsevier, 2007 | 1374 | 2007 |
| Logics without the contraction rule H Ono, Y Komori The Journal of Symbolic Logic 50 (1), 169-201, 1985 | 444 | 1985 |
| On some intuitionistic modal logics H Ono Publications of the Research Institute for Mathematical Sciences 13 (3), 687-722, 1977 | 208 | 1977 |
| Substructural logics and residuated lattices—an introduction H Ono Trends in logic: 50 years of Studia Logica, 193-228, 2003 | 205* | 2003 |
| Semantics for substructural logics H Ono Substructural logics, 1993 | 170 | 1993 |
| Proof-theoretic methods in nonclassical logic–an introduction H Ono Theories of types and proofs 2, 207-254, 1998 | 160 | 1998 |
| Residuated lattices: An algebraic glimpse at logics without contraction T Kowalski, H Ono Japan Advanced Institute of Science and Technology, 2001 | 131 | 2001 |
| Relations between intuitionistic modal logics and intermediate predicate logics H Ono, NY Suzuki Reports on Mathematical Logic 22, 65-87, 1988 | 102 | 1988 |
| Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL N Galatos, H Ono Studia Logica 83, 279-308, 2006 | 101 | 2006 |
| Structural rules and a logical hierarchy H Ono Mathematical logic, 95-104, 1990 | 99 | 1990 |
| Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀ F Montagna, H Ono Studia Logica 71, 227-245, 2002 | 92 | 2002 |
| On the size of refutation Kripke models for some linear modal and tense logics H Ono, A Nakamura Studia Logica 39, 325-333, 1980 | 82 | 1980 |
| Algebraic aspects of cut elimination F Belardinelli, P Jipsen, H Ono Studia Logica 77, 209-240, 2004 | 74 | 2004 |
| Intermediate propositional logics (a survey) T Hosoi Journal of Tsuda College 5, 67-82, 1973 | 73 | 1973 |
| A study of intermediate predicate logics H Ono Publications of the Research Institute for Mathematical Sciences 8 (3), 619-649, 1972 | 72 | 1972 |
| Model extension theorem and Craig's interpolation theorem for intermediate predicate logics H Ono Reports on Mathematical Logic 15, 41-58, 1983 | 65 | 1983 |
| Kripke models and intermediate logics H Ono Publications of the Research Institute for Mathematical Sciences 6 (3), 461-476, 1971 | 64 | 1971 |
| Cut elimination and strong separation for substructural logics: an algebraic approach N Galatos, H Ono Annals of Pure and Applied Logic 161 (9), 1097-1133, 2010 | 61 | 2010 |
| Cervical spinal cord injury without bony injury: a multicenter retrospective study of emergency and critical care centers in Japan H Kato, A Kimura, R Sasaki, N Kaneko, M Takeda, A Hagiwara, S Ogura, ... Journal of Trauma and Acute Care Surgery 65 (2), 373-379, 2008 | 59 | 2008 |
| Logics without the contraction rule and residuated lattices H Ono Australasian Journal of Logic, 2010 | 57 | 2010 |
