Hiroakira Ono

Publication Activity (10 Years)

Years Active: 1979-2022
Publications (10 Years): 4

Top Topics

Dynamic Epistemic Logic

Sequent Calculus

Natural Deduction

Top Venues

Rev. Symb. Log.

J. Log. Comput.

Publications

Hiroakira Ono, Katsuhiko Sano
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML (2022)
Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A cut-free labelled sequent calculus for dynamic epistemic logic. J. Log. Comput. 30 (1) (2020)
Tomasz Kowalski, Hiroakira Ono
Analytic Cut and interpolation for bi-intuitionistic Logic. Rev. Symb. Log. 10 (2) (2017)
Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. LFCS (2016)
Hiroakira Ono, Umberto Rivieccio
Modal twist-structures over residuated lattices. Log. J. IGPL 22 (3) (2014)
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
Uniform interpolation in Substructural Logics. Rev. Symb. Log. 7 (3) (2014)
Hiroakira Ono
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Stud Logica 100 (1-2) (2012)
Sándor Jenei, Hiroakira Ono
On involutive FL e -monoids. Arch. Math. Log. 51 (7-8) (2012)
Hadi Farahani, Hiroakira Ono
Glivenko theorems and negative translations in substructural predicate logics. Arch. Math. Log. 51 (7-8) (2012)
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono
Preface. Stud Logica 100 (6) (2012)
Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz
Preface. Fundam. Informaticae 106 (2-4) (2011)
Nikolaos Galatos, Hiroakira Ono
Cut elimination and strong separation for substructural logics: An algebraic approach. Ann. Pure Appl. Log. 161 (9) (2010)
Hitoshi Kihara, Hiroakira Ono
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics. J. Log. Comput. 20 (4) (2010)
Tomasz Kowalski, Hiroakira Ono
Fuzzy logics from substructural perspective. Fuzzy Sets Syst. 161 (3) (2010)
Hiroakira Ono
Glivenko theorems revisited. Ann. Pure Appl. Log. 161 (2) (2009)
Hitoshi Kihara, Hiroakira Ono
Algebraic characterizations of variable separation properties. Reports Math. Log. 43 (2008)
Nikolaos Galatos, Hiroakira Ono
Glivenko theorems for substructural logics over FL. J. Symb. Log. 71 (4) (2006)
Nikolaos Galatos, Hiroakira Ono
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Stud Logica 83 (1-3) (2006)
Francesco Belardinelli, Peter Jipsen, Hiroakira Ono
Algebraic Aspects of Cut Elimination. Stud Logica 77 (2) (2004)
Hiroakira Ono
Closure Operators and Complete Embeddings of Residuated Lattices. Stud Logica 74 (3) (2003)
Franco Montagna, Hiroakira Ono
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Stud Logica 71 (2) (2002)
Hiroakira Ono
Completions of Algebras and Completeness of Modal and Substructural Logics. Advances in Modal Logic (2002)
Tomasz Kowalski, Hiroakira Ono
The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports Math. Log. 34 (2000)
Tomasz Kowalski, Hiroakira Ono
Remarks on Splittings in the Variety of Residuated Lattices. Reports Math. Log. 34 (2000)
Yoshihito Tanaka, Hiroakira Ono
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic (1998)
H. Naruse, Bayu Surarso, Hiroakira Ono
A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. Notre Dame J. Formal Log. 39 (1) (1998)
Hiroakira Ono
Foreword: Non-standard Logics and Logical Aspects of Computer Science. Theor. Comput. Sci. 175 (1) (1997)
Bayu Surarso, Hiroakira Ono
Cut Elimination in Noncommutative Substructural Logics. Reports Math. Log. 30 (1996)
Ryuichi Hori, Hiroakira Ono, Harold Schellinx
Extending Intuitionistic Linear Logic with Knotted Structural Rules. Notre Dame J. Formal Log. 35 (2) (1994)
Robert K. Meyer, Hiroakira Ono
The finite model property for BCK arid BCIW. Stud Logica 53 (1) (1994)
Pierluigi Minari, Mitio Takano, Hiroakira Ono
Intermediate Predicate Logics Determined by Ordinals. J. Symb. Log. 55 (3) (1990)
Hiroakira Ono
On finite linear intermediate predicate logics. Stud Logica 47 (4) (1988)
Hiroakira Ono
Reflection Principles in Fragments of Peano Arithmetic. Math. Log. Q. 33 (4) (1987)
Hiroakira Ono
Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approach. Stud Logica 45 (1) (1986)
Hiroakira Ono
Semantical analysis of predicate logics without the contraction rule. Stud Logica 44 (2) (1985)
Hiroakira Ono, Yuichi Komori
Logics Without the Contraction Rule. J. Symb. Log. 50 (1) (1985)
Akira Nakamura, Hiroakira Ono
Pictures of Functions and Their Acceptability by Automata. Theor. Comput. Sci. 23 (1983)
Hiroakira Ono, Akira Nakamura
Decidability Results on a Query Language for Data Bases with Incomplete Informations. MFCS (1980)
Hiroakira Ono, Akira Nakamura
Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]. J. Comput. Syst. Sci. 18 (3) (1979)