Ono Hiroakira

オノヒロアキラ | Ono Hiroakira

Affiliation and department：
Job title： Distinguished professor

Research field (2)： Applied mathematics and statistics , Basic mathematics

Research keywords (2)： Syntactic and algebraic approach to nonclassical logics , Mathematical logic and its applications to computer science

Research theme for competitive and other funds (23)：

2005 - 2007 Advances in Logics by Algebraic Methods
2004 - 2006 Study of multi-modal logics and its application to game theory
2001 - 2003 Extended Kripke Semantics and its Application to Epistemic Logics and Game Theory
2001 - 2003 Individual Perspectives of Society and Socio-economic Norms
2001 - 2003 Substructural Logics and their Algebraic Structures

Show all

Papers (45)：

Hiroakira Ono, Katsuhiko Sano. Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic. Advances in Modal Logic. 2022. 14. 601-623
Majid Alizadeh, Hiroakira Ono. Residuated expansions of lattice-ordered structures. Mathematics, Logic, and their Philosophies, Logic, Epistemology, and the Unity of Science. 2021. 49. 93-116
S. Nomura, H. Ono, K. Sano. A cut-free labelled sequent calculus for dynamic epistemic logic. Journal of Logic and Computation. 2020. 30. 1. 321-348
ONO Hiroakira. A uniform algebraic approach to cut elimination via semi-completeness. Philosophical Logic: Current Trends in Asia. 2017. 19-43
Tomasz Kowalski, Hiroakira Ono. ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC. REVIEW OF SYMBOLIC LOGIC. 2017. 10. 2. 259-283

ｍore...

MISC (9)：

Hiroakira Ono. A scientific autobiography. Hiroakira Ono on Substructural Logics,. 2021. Outstanding Contributions to Logic 23. 1-23
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono. Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics Preface. STUDIA LOGICA. 2012. 100. 6. 1059-1062
Ono Hiroakira. Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics). RIMS Kokyuroku. 1995. 927. 88-103
ONO HIROAKIRA. Nonclassical Logics : An Overview. IPSJ Magazine. 1989. 30. 6. p617-625
Ono Hiroakira. Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics). RIMS Kokyuroku. 1986. 588. 128-135

ｍore...

Books (5)：

Proof Thery and Algebra in Logic
Springer 2019
現代数理論理学序説
日本評論社 2010 ISBN:9784535785564
Residuated Lattices: an algebraic glimpse at substructural logics
Elsevier 2007 ISBN:9780444521415
情報科学のための論理
日本評論社 1994
情報代数
共立出版 1994

Lectures and oral presentations (23)：

Cut elimination, analytic cut property and Craig's interpolation property
(The 6th Proof Society International School and Workshop 2024)
Many faces of logical reasonings and their analysis
(Annual Meeting of Mathematical Society of Japan 2019)
Bi-intuitionistic logic revisited
(Taiwan Philosophical Logic Colloquium 2018)
Downward saturation and semi-completeness -- a semantical approach to cut elimination
(Algebra and Substructural Logics -- Take 6 2018)
Cut elimination and semi-completeness
(Workshop on Logic, Algebra and Category Theory: LAC 2018 2018)

ｍore...

Education (3)：

- 1973 Kyoto University Dr in Mathematics
- 1968 The University of Tokyo, Graduate School of Science
- 1966 The University of Tokyo, College of Arts and Sciences, Department of Basic Science

Professional career (2)：

Work history (7)：

2013 - 2017 Japan Advanced Institute of Science and Technology, Senior professor
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

Show all

Committee career (4)：

Association Membership(s) (1)：

Association for Symbolic Logic

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page