Hiroakira Ono - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Cut elimination and strong separation for substructural logics: An algebraic approachNikolaos Galatos, Hiroakira Ono. APAL, 161(9):1097-1133, 2010. [doi]

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural LogicsHitoshi Kihara, Hiroakira Ono. logcom, 20(4):823-875, 2010. [doi]

Fuzzy logics from substructural perspectiveTomasz Kowalski, Hiroakira Ono. fss, 161(3):301-310, 2010. [doi]

2009

Glivenko theorems revisitedHiroakira Ono. APAL, 161(2):246-250, 2009. [doi]

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. ProceedingsHiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz, editors, Volume 5514 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Interval / Probabilistic Uncertainty and Non-Classical LogicsVan-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen, editors, Volume 46 of Advances in Soft Computing, Springer, 2008.

An Algebraic Approach to Substructural Logics - An OverviewHiroakira Ono. In Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen, editors, Interval / Probabilistic Uncertainty and Non-Classical Logics. Volume 46 of Advances in Soft Computing, pages 3-4, Springer, 2008. [doi]

2006

Glivenko theorems for substructural logics over FLNikolaos Galatos, Hiroakira Ono. JSYML, 71(4):1353-1384, 2006. [doi]

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FLNikolaos Galatos, Hiroakira Ono. sLogica, 83(1-3):279-308, 2006. [doi]

2004

Algebraic Aspects of Cut EliminationFrancesco Belardinelli, Peter Jipsen, Hiroakira Ono. sLogica, 77(2):209-240, 2004. [doi]

2003

Closure Operators and Complete Embeddings of Residuated LatticesHiroakira Ono. sLogica, 74(3):427-440, 2003.

2002

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo s Logic MTL[forall]Franco Montagna, Hiroakira Ono. sLogica, 71(2):227-245, 2002.

Completions of Algebras and Completeness of Modal and Substructural LogicsHiroakira Ono. aiml 2003: 335-370

1998

Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal LogicsYoshihito Tanaka, Hiroakira Ono. aiml 2000: 401-420

1997

Foreword: Non-standard Logics and Logical Aspects of Computer ScienceHiroakira Ono. TCS, 175(1):1, 1997. [doi]

1990

Intermediate Predicate Logics Determined by OrdinalsPierluigi Minari, Mitio Takano, Hiroakira Ono. JSYML, 55(3):1099-1124, 1990.

1985

Logics Without the Contraction RuleHiroakira Ono, Yuichi Komori. JSYML, 50(1):169-201, 1985.

1983

Pictures of Functions and Their Acceptability by AutomataAkira Nakamura, Hiroakira Ono. TCS, 23:37-48, 1983.

1980

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

1979

Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]Hiroakira Ono, Akira Nakamura. jcss, 18(3):243-253, 1979.