Follow
Hiroakira Ono
Title
Cited by
Cited by
Year
Residuated lattices: an algebraic glimpse at substructural logics
N Galatos
Elsevier, 2007
13842007
Logics without the contraction rule
H Ono, Y Komori
The Journal of Symbolic Logic 50 (1), 169-201, 1985
4461985
On some intuitionistic modal logics
H Ono
Publications of the Research Institute for Mathematical Sciences 13 (3), 687-722, 1977
2101977
Substructural logics and residuated lattices—an introduction
H Ono
Trends in logic: 50 years of Studia Logica, 193-228, 2003
206*2003
Semantics for substructural logics
H Ono
Substructural logics, 1993
1701993
Proof-theoretic methods in nonclassical logic–an introduction
H Ono
Theories of types and proofs 2, 207-254, 1998
1621998
Residuated lattices: An algebraic glimpse at logics without contraction
T Kowalski, H Ono
Japan Advanced Institute of Science and Technology, 2001
1332001
Relations between intuitionistic modal logics and intermediate predicate logics
H Ono, NY Suzuki
Reports on Mathematical Logic 22, 65-87, 1988
1031988
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
N Galatos, H Ono
Studia Logica 83, 279-308, 2006
1022006
Structural rules and a logical hierarchy
H Ono
Mathematical logic, 95-104, 1990
991990
Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀
F Montagna, H Ono
Studia Logica 71, 227-245, 2002
922002
On the size of refutation Kripke models for some linear modal and tense logics
H Ono, A Nakamura
Studia Logica 39, 325-333, 1980
821980
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
752004
Intermediate propositional logics (a survey)
T Hosoi
Journal of Tsuda College 5, 67-82, 1973
731973
A study of intermediate predicate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 8 (3), 619-649, 1972
721972
Model extension theorem and Craig's interpolation theorem for intermediate predicate logics
H Ono
Reports on Mathematical Logic 15, 41-58, 1983
651983
Kripke models and intermediate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 6 (3), 461-476, 1971
641971
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
622010
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
602008
Logics without the contraction rule and residuated lattices
H Ono
Australasian Journal of Logic, 2010
572010
The system can't perform the operation now. Try again later.
Articles 1–20