Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]. - Hiroakira Ono; Akira Nakamura (J. Comput. Syst. Sci., 1979)

Decidability Results on a Query Language for Data Bases with Incomplete Informations. - Hiroakira Ono; Akira Nakamura (MFCS, 1980)

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

Logics Without the Contraction Rule. - Hiroakira Ono; Yuichi Komori (J. Symb. Log., 1985)

Semantical analysis of predicate logics without the contraction rule. - Hiroakira Ono (Stud Logica, 1985)

Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approach. - Hiroakira Ono (Stud Logica, 1986)

Reflection Principles in Fragments of Peano Arithmetic. - Hiroakira Ono (Math. Log. Q., 1987)

On finite linear intermediate predicate logics. - Hiroakira Ono (Stud Logica, 1988)

Intermediate Predicate Logics Determined by Ordinals. - Pierluigi Minari; Mitio Takano; Hiroakira Ono (J. Symb. Log., 1990)

Extending Intuitionistic Linear Logic with Knotted Structural Rules. - Ryuichi Hori; Hiroakira Ono; Harold Schellinx (Notre Dame J. Formal Log., 1994)

The finite model property for BCK arid BCIW. - Robert K. Meyer; Hiroakira Ono (Stud Logica, 1994)

Cut Elimination in Noncommutative Substructural Logics. - Bayu Surarso; Hiroakira Ono (Reports Math. Log., 1996)

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

Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. - Yoshihito Tanaka; Hiroakira Ono (Advances in Modal Logic, 1998)

A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. - H. Naruse; Bayu Surarso; Hiroakira Ono (Notre Dame J. Formal Log., 1998)

The Variety of Residuated Lattices is Generated by its Finite Simple Members. - Tomasz Kowalski; Hiroakira Ono (Reports Math. Log., 2000)

Remarks on Splittings in the Variety of Residuated Lattices. - Tomasz Kowalski; Hiroakira Ono (Reports Math. Log., 2000)

Completions of Algebras and Completeness of Modal and Substructural Logics. - Hiroakira Ono (Advances in Modal Logic, 2002)

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. - Franco Montagna; Hiroakira Ono (Stud Logica, 2002)

Closure Operators and Complete Embeddings of Residuated Lattices. - Hiroakira Ono (Stud Logica, 2003)

Algebraic Aspects of Cut Elimination. - Francesco Belardinelli; Peter Jipsen; Hiroakira Ono (Stud Logica, 2004)

Glivenko theorems for substructural logics over FL. - Nikolaos Galatos; Hiroakira Ono (J. Symb. Log., 2006)

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. - Nikolaos Galatos; Hiroakira Ono (Stud Logica, 2006)

Algebraic characterizations of variable separation properties. - Hitoshi Kihara; Hiroakira Ono (Reports Math. Log., 2008)

An Algebraic Approach to Substructural Logics - An Overview. - Hiroakira Ono (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Glivenko theorems revisited. - Hiroakira Ono (Ann. Pure Appl. Log., 2009)

Cut elimination and strong separation for substructural logics: An algebraic approach. - Nikolaos Galatos; Hiroakira Ono (Ann. Pure Appl. Log., 2010)

Fuzzy logics from substructural perspective. - Tomasz Kowalski; Hiroakira Ono (Fuzzy Sets Syst., 2010)

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics. - Hitoshi Kihara; Hiroakira Ono (J. Log. Comput., 2010)

Preface. - Hiroakira Ono; Makoto Kanazawa; Ruy J. G. B. de Queiroz (Fundam. Informaticae, 2011)

Glivenko theorems and negative translations in substructural predicate logics. - Hadi Farahani; Hiroakira Ono (Arch. Math. Log., 2012)

On involutive FL e -monoids. - Sándor Jenei; Hiroakira Ono (Arch. Math. Log., 2012)

Preface. - Nikolaos Galatos; Peter Jipsen; Hiroakira Ono (Stud Logica, 2012)

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. - Hiroakira Ono (Stud Logica, 2012)

Modal twist-structures over residuated lattices. - Hiroakira Ono; Umberto Rivieccio (Log. J. IGPL, 2014)

Uniform interpolation in Substructural Logics. - Majid Alizadeh; Farzaneh Derakhshan; Hiroakira Ono (Rev. Symb. Log., 2014)

Analytic Cut and interpolation for bi-intuitionistic Logic. - Tomasz Kowalski; Hiroakira Ono (Rev. Symb. Log., 2017)

A cut-free labelled sequent calculus for dynamic epistemic logic. - Shoshin Nomura; Hiroakira Ono; Katsuhiko Sano (J. Log. Comput., 2020)

Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. - Hiroakira Ono; Katsuhiko Sano (AiML, 2022)