Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hiroakira Ono
2010 – today
- 2012
[j22]Hadi Farahani, Hiroakira Ono: Glivenko theorems and negative translations in substructural predicate logics. Arch. Math. Log. 51(7-8): 695-707 (2012)- [j21]
- [j20]Hiroakira Ono: Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100(1-2): 339-359 (2012)
- [j19]
- 2011
- [j18]
- 2010
- [j17]Nikolaos Galatos, Hiroakira Ono: Cut elimination and strong separation for substructural logics: An algebraic approach. Ann. Pure Appl. Logic 161(9): 1097-1133 (2010)
- [j16]Tomasz Kowalski, Hiroakira Ono: Fuzzy logics from substructural perspective. Fuzzy Sets and Systems 161(3): 301-310 (2010)
- [j15]Hitoshi Kihara, Hiroakira Ono: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics. J. Log. Comput. 20(4): 823-875 (2010)
2000 – 2009
- 2009
- [j14]
- [e2]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
- 2008
- [j13]Hitoshi Kihara, Hiroakira Ono: Algebraic characterizations of variable separation properties. Reports on Mathematical Logic 43: 43-63 (2008)
- [p1]Hiroakira Ono: An Algebraic Approach to Substructural Logics - An Overview. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 3-4
- [e1]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
- 2006
- [j12]Nikolaos Galatos, Hiroakira Ono: Glivenko theorems for substructural logics over FL. J. Symb. Log. 71(4): 1353-1384 (2006)
- [j11]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
- [j10]Francesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004)
- 2003
- [j9]Hiroakira Ono: Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74(3): 427-440 (2003)
- 2002
- [j8]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)
- [c3]Hiroakira Ono: Completions of Algebras and Completeness of Modal and Substructural Logics. Advances in Modal Logic 2002: 335-370
- 2000
- [j7]Tomasz Kowalski, Hiroakira Ono: The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports on Mathematical Logic 34: 59-77 (2000)
- [j6]Tomasz Kowalski, Hiroakira Ono: Remarks on Splittings in the Variety of Residuated Lattices. Reports on Mathematical Logic 34: 133-140 (2000)
1990 – 1999
- 1998
- [c2]Yoshihito Tanaka, Hiroakira Ono: Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic 1998: 401-420
- 1997
- [j5]Hiroakira Ono: Foreword: Non-standard Logics and Logical Aspects of Computer Science. Theor. Comput. Sci. 175(1): 1 (1997)
- 1990
- [j4]Pierluigi Minari, Mitio Takano, Hiroakira Ono: Intermediate Predicate Logics Determined by Ordinals. J. Symb. Log. 55(3): 1099-1124 (1990)
1980 – 1989
- 1985
- [j3]Hiroakira Ono, Yuichi Komori: Logics Without the Contraction Rule. J. Symb. Log. 50(1): 169-201 (1985)
- 1983
- [j2]Akira Nakamura, Hiroakira Ono: Pictures of Functions and Their Acceptability by Automata. Theor. Comput. Sci. 23: 37-48 (1983)
- 1980
- [c1]Hiroakira Ono, Akira Nakamura: Decidability Results on a Query Language for Data Bases with Incomplete Informations. MFCS 1980: 452-459
1970 – 1979
- 1979
- [j1]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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team