Hiroakira Ono - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2022

Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense LogicHiroakira Ono, Katsuhiko Sano. aiml 2022: 601-624

2020

A cut-free labelled sequent calculus for dynamic epistemic logicShoshin Nomura, Hiroakira Ono, Katsuhiko Sano. logcom, 30(1):321-348, 2020. [doi]

2017

Analytic Cut and interpolation for bi-intuitionistic LogicTomasz Kowalski, Hiroakira Ono. rsl, 10(2):259-283, 2017. [doi]

2016

A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic LogicShoshin Nomura, Hiroakira Ono, Katsuhiko Sano. lfcs 2016: 283-298 [doi]

2014

Uniform interpolation in Substructural LogicsMajid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono. rsl, 7(3):455-483, 2014. [doi]

Modal twist-structures over residuated latticesHiroakira Ono, Umberto Rivieccio. igpl, 22(3):440-457, 2014. [doi]

2012

Glivenko theorems and negative translations in substructural predicate logicsHadi Farahani, Hiroakira Ono. AML, 51(7-8):695-707, 2012. [doi]

PrefaceNikolaos Galatos, Peter Jipsen, Hiroakira Ono. sLogica, 100(6):1059-1062, 2012. [doi]

On involutive FL e -monoidsSándor Jenei, Hiroakira Ono. AML, 51(7-8):719-738, 2012. [doi]

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate LogicsHiroakira Ono. sLogica, 100(1-2):339-359, 2012. [doi]

2011

PrefaceHiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz. FUIN, 106(2-4), 2011. [doi]

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]

2008

Algebraic characterizations of variable separation propertiesHitoshi Kihara, Hiroakira Ono. rml, 43:43-63, 2008. [doi]

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

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

Glivenko theorems for substructural logics over FLNikolaos Galatos, Hiroakira Ono. JSYML, 71(4):1353-1384, 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.

1988

On finite linear intermediate predicate logicsHiroakira Ono. sLogica, 47(4):391-399, 1988. [doi]

1987

Reflection Principles in Fragments of Peano ArithmeticHiroakira Ono. mlq, 33(4):317-333, 1987. [doi]

1986

Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approachHiroakira Ono. sLogica, 45(1):19-33, 1986. [doi]

1985

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

Semantical analysis of predicate logics without the contraction ruleHiroakira Ono. sLogica, 44(2):187-196, 1985. [doi]

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.

Sign in or sign up to see more results.

runs on WebDSL