Hiroakira Ono

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