Stebėti
Hiroakira Ono
Hiroakira Ono
Patvirtintas el. paštas jaist.ac.jp
Pavadinimas
Cituota
Cituota
Metai
Residuated lattices: an algebraic glimpse at substructural logics
N Galatos, P Jipsen, T Kowalski, H Ono
Elsevier, 2007
13252007
Logics without the contraction rule
H Ono, Y Komori
The Journal of Symbolic Logic 50 (1), 169-201, 1985
4401985
On some intuitionistic modal logics
H Ono
Publications of the Research Institute for Mathematical Sciences 13 (3), 687-722, 1977
2011977
Semantics for substructural logics
H Ono
Substructural logics, 1993
1681993
Proof-theoretic methods in nonclassical logic–an introduction
H Ono
Theories of types and proofs 2, 207-254, 1998
1561998
Substructural logics and residuated lattices—an introduction
H Ono
Trends in logic: 50 years of Studia Logica, 193-228, 2003
1452003
Substructural logics and residuated lattices—an introduction
H Ono
Trends in logic: 50 years of Studia Logica, 193-228, 2003
1452003
Residuated lattices: An algebraic glimpse at logics without contraction
T Kowalski, H Ono
Japan Advanced Institute of Science and Technology, 2001
1292001
Relations between intuitionistic modal logics and intermediate predicate logics
H Ono, NY Suzuki
Reports on Mathematical Logic 22, 65-87, 1988
1011988
Structural rules and a logical hierarchy
H Ono
Mathematical logic, 95-104, 1990
961990
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
N Galatos, H Ono
Studia Logica 83, 279-308, 2006
952006
Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀
F Montagna, H Ono
Studia Logica 71, 227-245, 2002
902002
On the size of refutation Kripke models for some linear modal and tense logics
H Ono, A Nakamura
Studia Logica 39, 325-333, 1980
811980
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
742004
Intermediate propositional logics (a survey)
T Hosoi
Journal of Tsuda College 5, 67-82, 1973
711973
A study of intermediate predicate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 8 (3), 619-649, 1972
711972
Residuated Lattices—an Introduction
H Ono
Trends in logic 20, 177-212, 2003
672003
Model extension theorem and Craig's interpolation theorem for intermediate predicate logics
H Ono
Reports on Mathematical Logic 15, 41-58, 1983
641983
Kripke models and intermediate logics
H Ono
Publications of the Research Institute for Mathematical Sciences 6 (3), 461-476, 1971
631971
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
592010
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20