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 (22)：

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)
Semi-completeness -- a uniform algebraic approach to cut elimination
(6th International Conference on Logic, Rationality and Interaction 2017)

ｍ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