Hiroakira Ono

Hadi Farahani, Hiroakira Ono: Glivenko theorems and negative translations in substructural predicate logics. Arch. Math. Log. 51(7-8): 695-707 (2012)

Sándor Jenei, Hiroakira Ono: On involutive FL e -monoids. Arch. Math. Log. 51(7-8): 719-738 (2012)

Hiroakira Ono: Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100(1-2): 339-359 (2012)

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono: Preface. Studia Logica 100(6): 1059-1062 (2012)

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz: Preface. Fundam. Inform. 106(2-4) (2011)

Nikolaos Galatos, Hiroakira Ono: Cut elimination and strong separation for substructural logics: An algebraic approach. Ann. Pure Appl. Logic 161(9): 1097-1133 (2010)

Tomasz Kowalski, Hiroakira Ono: Fuzzy logics from substructural perspective. Fuzzy Sets and Systems 161(3): 301-310 (2010)

Hitoshi Kihara, Hiroakira Ono: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics. J. Log. Comput. 20(4): 823-875 (2010)

Hiroakira Ono: Glivenko theorems revisited. Ann. Pure Appl. Logic 161(2): 246-250 (2009)

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Lecture Notes in Computer Science 5514, Springer 2009, isbn 978-3-642-02260-9

Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen (Eds.): Interval / Probabilistic Uncertainty and Non-Classical Logics. Advances in Soft Computing 46, Springer 2008, isbn 978-3-540-77663-5

Hitoshi Kihara, Hiroakira Ono: Algebraic characterizations of variable separation properties. Reports on Mathematical Logic 43: 43-63 (2008)

Hiroakira Ono: An Algebraic Approach to Substructural Logics - An Overview. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 3-4

Nikolaos Galatos, Hiroakira Ono: Glivenko theorems for substructural logics over FL. J. Symb. Log. 71(4): 1353-1384 (2006)

Nikolaos Galatos, Hiroakira Ono: Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Studia Logica 83(1-3): 279-308 (2006)

Francesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004)

Hiroakira Ono: Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74(3): 427-440 (2003)

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)

Hiroakira Ono: Completions of Algebras and Completeness of Modal and Substructural Logics. Advances in Modal Logic 2002: 335-370

Tomasz Kowalski, Hiroakira Ono: The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports on Mathematical Logic 34: 59-77 (2000)

Tomasz Kowalski, Hiroakira Ono: Remarks on Splittings in the Variety of Residuated Lattices. Reports on Mathematical Logic 34: 133-140 (2000)

Yoshihito Tanaka, Hiroakira Ono: Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic 1998: 401-420

Hiroakira Ono: Foreword: Non-standard Logics and Logical Aspects of Computer Science. Theor. Comput. Sci. 175(1): 1 (1997)

Pierluigi Minari, Mitio Takano, Hiroakira Ono: Intermediate Predicate Logics Determined by Ordinals. J. Symb. Log. 55(3): 1099-1124 (1990)

Hiroakira Ono, Yuichi Komori: Logics Without the Contraction Rule. J. Symb. Log. 50(1): 169-201 (1985)

Akira Nakamura, Hiroakira Ono: Pictures of Functions and Their Acceptability by Automata. Theor. Comput. Sci. 23: 37-48 (1983)

Hiroakira Ono, Akira Nakamura: Decidability Results on a Query Language for Data Bases with Incomplete Informations. MFCS 1980: 452-459

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)