Hiroakira Ono
Título
Citado por
Citado por
Ano
Residuated lattices: an algebraic glimpse at substructural logics
N Galatos, P Jipsen, T Kowalski, H Ono
Elsevier, 2007
10132007
Logics without the contraction rule
H Ono, Y Komori
The Journal of Symbolic Logic 50 (1), 169-201, 1985
3901985
Substructural logics and residuated lattices—an introduction
H Ono
Trends in logic, 193-228, 2003
1742003
Substructural logics and residuated lattices—an introduction
H Ono
Trends in logic, 193-228, 2003
1742003
Semantics for substructural logics
H Ono
Substructural logics, 1993
1591993
On some intuitionistic modal logics
H Ono
Publications of the Research Institute for Mathematical Sciences 13 (3), 687-722, 1977
1521977
Proof-theoretic methods in nonclassical logic–an introduction
H Ono
Theories of types and proofs 2, 207-254, 1998
1231998
Residuated lattices: An algebraic glimpse at logics without contraction
T Kowalski, H Ono
Japan Advanced Institute of Science and Technology, 2001
1092001
Structural rules and a logical hierarchy
H Ono
Mathematical logic, 95-104, 1990
961990
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
821980
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
N Galatos, H Ono
Studia Logica 83 (1-3), 279-308, 2006
802006
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀
F Montagna, H Ono
Studia Logica 71 (2), 227-245, 2002
742002
Intermediate propositional logics (a survey)
T Hosoi
Journal of Tsuda College 5, 67-82, 1973
671973
A study of intermediate predicate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 8 (3), 619-649, 1972
671972
Model extension theorem and Craig's interpolation theorem for intermediate predicate logics
H Ono
Reports on Mathematical Logic 15, 41-58, 1983
651983
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77 (2), 209-240, 2004
622004
Kripke models and intermediate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 6 (3), 461-476, 1971
581971
Logics without the contraction rule and residuated lattices
H Ono
Australasian Journal of Logic, 2010
492010
Logics without the contraction rule and residuated lattices
H Ono
Australasian Journal of Logic, 2010
492010
Some problems in intermediate predicate logics
H Ono
Reports on Mathematical Logic 21, 55-67, 1987
481987
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20