Hiroakira Ono

Profile Information

Affiliation: Distinguished professor, Japan Advanced Institute of Science and Technology

Degree: Doctor of Science(Kyoto University)
Master of Science(The University of Tokyo)

J-GLOBAL ID: 200901085185033825
researchmap Member ID: 1000165681

Research Interests

Research Areas

Research History

2013 - 2017

Senior professor, Japan Advanced Institute of Science and Technology,
2008 - 2013

Japan Advanced Institute of Science and Technology, Distinguished Professor
1993 - 2008

Japan Advanced Institute of Science and Technology, Professor
1985 - 1993

Hiroshima University, Professor
1976 - 1985

Hiroshima University, Associate Professor
1973 - 1976

Tsuda College, Associate Professor
1968 - 1973

Kyoto University, Research Associate

Education

Committee Memberships

2006 - 2008

Vice-President, Japan Advanced Institute of Science and Technology,
2006 - 2008

Member of Executive Committee, Association for Symbolic Logic,
2003 - 2005

Council Member, Mathematical Society of Japan,
1993 - 1995

Council Member, Association for Symbolic Logic,

Papers

Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic

Hiroakira Ono, Katsuhiko Sano

Advances in Modal Logic, 14 601-623, 2022 Peer-reviewedLast author
Residuated expansions of lattice-ordered structures

Majid Alizadeh, Hiroakira Ono

Mathematics, Logic, and their Philosophies, Logic, Epistemology, and the Unity of Science, 49 93-116, 2021 Peer-reviewedInvitedCorresponding author
A cut-free labelled sequent calculus for dynamic epistemic logic

S. Nomura, H. Ono, K. Sano

Journal of Logic and Computation, 30(1) 321-348, 2020 Peer-reviewed
A uniform algebraic approach to cut elimination via semi-completeness

ONO Hiroakira

Philosophical Logic: Current Trends in Asia, 19-43, Dec, 2017 Peer-reviewedInvited
ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

Tomasz Kowalski, Hiroakira Ono

REVIEW OF SYMBOLIC LOGIC, 10(2) 259-283, Jun, 2017 Peer-reviewed
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 9537 283-298, 2016 Peer-reviewed
Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

Hiroakira Ono

STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS, 1-15, 2016 Peer-reviewedInvited
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono

REVIEW OF SYMBOLIC LOGIC, 7(3) 455-483, Sep, 2014 Peer-reviewed
Modal twist-structures over residuated lattices

Hiroakira Ono, Umberto Rivieccio

LOGIC JOURNAL OF THE IGPL, 22(3) 440-457, Jun, 2014 Peer-reviewed
On involutive FL (e) -monoids

Sandor Jenei, Hiroakira Ono

ARCHIVE FOR MATHEMATICAL LOGIC, 51(7-8) 719-738, Nov, 2012 Peer-reviewed
Glivenko theorems and negative translations in substructural predicate logics

Hadi Farahani, Hiroakira Ono

ARCHIVE FOR MATHEMATICAL LOGIC, 51(7-8) 695-707, Nov, 2012 Peer-reviewed
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

Hiroakira Ono

STUDIA LOGICA, 100(1-2) 339-359, Apr, 2012 Peer-reviewed
Algebraic Logic

Hiroakira Ono

Logic and Philosophy Today, 1 219-244, 2011 Peer-reviewedInvitedLead author
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics

Hitoshi Kihara, Hiroakira Ono

JOURNAL OF LOGIC AND COMPUTATION, 20(4) 823-875, Aug, 2010 Peer-reviewed
Cut elimination and strong separation for substructural logics: An algebraic approach

Nikolaos Galatos, Hiroakira Ono

ANNALS OF PURE AND APPLIED LOGIC, 161(9) 1097-1133, Jun, 2010 Peer-reviewed
Fuzzy logics from substructural perspective

Tomasz Kowalskia, Hiroakira Ono

FUZZY SETS AND SYSTEMS, 161(3) 301-310, Feb, 2010 Peer-reviewed
Logics without contraction rule and residuated latices

H. Ono

Australasian Journal of Logic, 8(1) 1-32, 2010 Peer-reviewedInvited
Glivenko theorems revisited

Hiroakira Ono

Annals of Pure and Applied Logic, 161(2) 246-250, Nov, 2009 Peer-reviewed
ALGEBRAIC CHARACTERIZATIONS OF VARIABLE SEPARATION PROPERTIES

Hitoshi Kihara, Hiroakira Ono

REPORTS ON MATHEMATICAL LOGIC, NO 43, (43) 43-63, 2008 Peer-reviewed
Glivenko theorems for substructural logics over FL

Nikolaos Galatos, Hiroakira Ono

JOURNAL OF SYMBOLIC LOGIC, 71(4) 1353-1384, Dec, 2006 Peer-reviewed

Misc.

Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics Preface

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

STUDIA LOGICA, 100(6) 1059-1062, Dec, 2012
Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)

Ono Hiroakira

RIMS Kokyuroku, 927 88-103, Nov, 1995
Nonclassical Logics : An Overview

ONO HIROAKIRA

IPSJ Magazine, 30(6) p617-625, Jun 15, 1989
Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)

Ono Hiroakira

RIMS Kokyuroku, 588 128-135, Apr, 1986
数学と論理 (ことばと論理・数学と論理<特集>)

小野寛晰

数学セミナ-, 24(6) p19-26, Jun, 1985
Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

Ono Hiroakira

RIMS Kokyuroku, 516 180-195, Mar, 1984
順序半群によるセマンティクス(数学基礎論)

小野寛晰, 古森雄一

数理解析研究所講究録, 480 130-141, Feb, 1983
Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)

NAKAMURA AKIRA, ONO HIROAKIRA

RIMS Kokyuroku, 454 94-109, Apr, 1982

Books and Other Publications

Proof Thery and Algebra in Logic

ONO Hiroakira

Springer, 2019
現代数理論理学序説

日本評論社, 2010 (ISBN: 9784535785564)
Residuated Lattices: an algebraic glimpse at substructural logics

Elsevier, 2007 (ISBN: 9780444521415)
情報科学のための論理

日本評論社, 1994
情報代数

共立出版, 1994

Presentations

Many faces of logical reasonings and their analysis

ONO Hiroakira

Annual Meeting of Mathematical Society of Japan, Mar, 2019 Invited
Bi-intuitionistic logic revisited

ONO Hiroakira

Taiwan Philosophical Logic Colloquium, Nov, 2018 Invited
Downward saturation and semi-completeness -- a semantical approach to cut elimination

ONO Hiroakira

Algebra and Substructural Logics -- Take 6, Jun, 2018 Invited
Cut elimination and semi-completeness

ONO Hiroakira

Workshop on Logic, Algebra and Category Theory: LAC 2018, Feb, 2018 Invited
Semi-completeness -- a uniform algebraic approach to cut elimination

ONO Hiroakira

6th International Conference on Logic, Rationality and Interaction, Sep, 2017 Invited
An algebraic approach to subformula property and cut elimination for modal logics

ONO Hiroakira

Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium, Oct, 2016 Invited
Analytic cut and interpolation for bi-intuitionistic logic

Coherence and Truth, Dec, 2015 Invited
Uniform interpolation in substructural predicate logics

The second Asian Workshop on Philosophical Logic, Apr, 2014 Invited
Translation results in substructural logics

4th World Congress and School on Universal Logic, Apr, 2013 Invited
Recent development of substructural logics: from a methodological point of view,

ONO Hiroakira

Taiwan Philosophical Logic Colloquium,, Dec, 2012 Invited
Algebraic perspective on nonclassical logics

Twelfth Asian Logic Conference, Dec, 2011 Invited
Crawley completions and semantics for substructural predicate logics

Ordered Groups and Lattices in Algebraic Logic, Sep, 2011 Invited
Semantical approach to superintuitionistic and substructural predicate logics

ONO Hiroakira

2nd International Conference on Order, Algebra, and Logics, Jun, 2011 Invited
Preserving Infinite Joins and Meets

l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, 2010
Complete ideal completions of residuated lattices and completeness of substructural predicate logics

Logic, Algebra and Truth Degrees 2010, 2010
Preserving Infinite Joins and Meets

l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, 2010
Completions, distributivity and algebraic completeness

8th International Conference on Logic and Cognition, 2009
Implications as Residuals: a perspective of substructural logics

The First Taiwan Logic and Analytical Philosophy Conference, 2009
Algebraic approach to nonclassical predicate logics

7th Panhellenic Logic Symposium, 2009
Implications as Residuals: a perspective of substructural logics

The First Taiwan Logic and Analytical Philosophy Conference, 2009

Professional Memberships

Association for Symbolic Logic

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Menu

Coauthors