| 2008 |
|---|
| 14 | | Van-Nam Huynh,
Yoshiteru Nakamori,
Hiroakira Ono,
Jonathan Lawry,
Vladik Kreinovich,
Hung T. Nguyen:
Interval / Probabilistic Uncertainty and Non-Classical Logics
Springer 2008 |
| 13 | EE | Hiroakira Ono:
An Algebraic Approach to Substructural Logics - An Overview.
Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 3-4 |
| 2006 |
|---|
| 12 | EE | Nikolaos Galatos,
Hiroakira Ono:
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.
Studia Logica 83(1-3): 279-308 (2006) |
| 2004 |
|---|
| 11 | EE | Francesco Belardinelli,
Peter Jipsen,
Hiroakira Ono:
Algebraic Aspects of Cut Elimination.
Studia Logica 77(2): 209-240 (2004) |
| 2003 |
|---|
| 10 | | Hiroakira Ono:
Closure Operators and Complete Embeddings of Residuated Lattices.
Studia Logica 74(3): 427-440 (2003) |
| 2002 |
|---|
| 9 | | Hiroakira Ono:
Completions of Algebras and Completeness of Modal and Substructural Logics.
Advances in Modal Logic 2002: 335-370 |
| 8 | | Franco Montagna,
Hiroakira Ono:
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall].
Studia Logica 71(2): 227-245 (2002) |
| 1998 |
|---|
| 7 | | Yoshihito Tanaka,
Hiroakira Ono:
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.
Advances in Modal Logic 1998: 401-420 |
| 1997 |
|---|
| 6 | EE | Hiroakira Ono:
Foreword: Non-standard Logics and Logical Aspects of Computer Science.
Theor. Comput. Sci. 175(1): 1 (1997) |
| 1990 |
|---|
| 5 | | Pierluigi Minari,
Mitio Takano,
Hiroakira Ono:
Intermediate Predicate Logics Determined by Ordinals.
J. Symb. Log. 55(3): 1099-1124 (1990) |
| 1985 |
|---|
| 4 | | Hiroakira Ono,
Yuichi Komori:
Logics Without the Contraction Rule.
J. Symb. Log. 50(1): 169-201 (1985) |
| 1983 |
|---|
| 3 | | Akira Nakamura,
Hiroakira Ono:
Pictures of Functions and Their Acceptability by Automata.
Theor. Comput. Sci. 23: 37-48 (1983) |
| 1980 |
|---|
| 2 | | Hiroakira Ono,
Akira Nakamura:
Decidability Results on a Query Language for Data Bases with Incomplete Informations.
MFCS 1980: 452-459 |
| 1979 |
|---|
| 1 | | Hiroakira Ono,
Akira Nakamura:
Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1].
J. Comput. Syst. Sci. 18(3): 243-253 (1979) |
