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