ONO Hiroakira

J-GLOBAL         Last updated: Dec 14, 2018 at 17:55
 
Avatar
Name
ONO Hiroakira
Affiliation
Japan Advanced Institute of Science and Technology
Job title
Distinguished professor
Degree
Doctor of Science(Kyoto University), Master of Science(The University of Tokyo)

Research Areas

 
 

Academic & Professional Experience

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

 
 
 - 
1968
Graduate School, Division of Science, The University of Tokyo
 
 
 - 
1966
Faculty of Liberal Arts, The University of Tokyo
 

Committee Memberships

 
2006
 - 
2008
Japan Advanced Institute of Science and Technology, Vice-President
 
2006
 - 
2008
Association for Symbolic Logic  Member of Executive Committee
 

Misc

 
A uniform algebraic approach to cut elimination via semi-completeness
ONO Hiroakira
Philosophical Logic: Current Trends in Asia   19-43   Dec 2017   [Refereed][Invited]
Analytic cut and interpolation for bi-intuitionistic logic
T. Kowalski and H. Ono
Review of Symbolic Logic   10 259-283   2017   [Refereed]
Semantical approach to cut elimination and subformula property in modal logic
H, Ono
Structural Analysis of Non-Classical Logics   1-15   2015   [Refereed][Invited]
H. Ono and U. Rivieccio
Logic Journal of the IGPL   22 440-457   2014   [Refereed]
M. Alizadeh, F. Derakhshan, and H. Ono
Review of Symbolic Logic   7 455-483   2014   [Refereed]
H. Farahani and H. Ono
Archive for Mathematical Logic   51 695-707   2012   [Refereed]
S. Jenei and H. Ono
Archive for Mathematical Logic   51 719-938   2012   [Refereed]
Algebraic Logic
H. Ono
Logic and Philosophy Today   1 219-244   2011   [Refereed][Invited]
T. Kowalski and H. Ono
Fuzzy Sets and Systems   161(3) 301-310   2010

Books etc

 
Residuated Lattices: an algebraic glimpse at substructural logics
Elsevier   2007   ISBN:978-0-444-52141-5

Conference Activities & Talks

 
Bi-intuitionistic logic revisited [Invited]
ONO Hiroakira
Taiwan Philosophical Logic Colloquium   Nov 2018   
Downward saturation and semi-completeness -- a semantical approach to cut elimination [Invited]
ONO Hiroakira
Algebra and Substructural Logics -- Take 6   Jun 2018   
Cut elimination and semi-completeness [Invited]
ONO Hiroakira
Workshop on Logic, Algebra and Category Theory: LAC 2018   Feb 2018   
Semi-completeness -- a uniform algebraic approach to cut elimination [Invited]
ONO Hiroakira
6th International Conference on Logic, Rationality and Interaction   Sep 2017   
An algebraic approach to subformula property and cut elimination for modal logics [Invited]
ONO Hiroakira
Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium   Oct 2016   
Analytic cut and interpolation for bi-intuitionistic logic [Invited]
Coherence and Truth   Dec 2015   
Uniform interpolation in substructural predicate logics [Invited]
The second Asian Workshop on Philosophical Logic   Apr 2014   
Translation results in substructural logics [Invited]
4th World Congress and School on Universal Logic   Apr 2013   
Recent development of substructural logics: from a methodological point of view, [Invited]
ONO Hiroakira
Taiwan Philosophical Logic Colloquium,   Dec 2012   
Algebraic perspective on nonclassical logics [Invited]
Twelfth Asian Logic Conference   Dec 2011   

Association Memberships