Hiroakira Ono
(小野 寛晰)
Modified on: 01/17
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
2Research Areas
2Research History
7-
1985 - 1993
-
1976 - 1985
-
1973 - 1976
-
1968 - 1973
Education
3Committee Memberships
4Papers
45-
Advances in Modal Logic, 14 601-623, 2022 Peer-reviewedLast author
-
Mathematics, Logic, and their Philosophies, Essays in Honor of Mohammad Ardeshir, Logic, Epistemology, and the Unity of Science, 49 93-116, 2021 Peer-reviewedInvitedCorresponding author
-
Journal of Logic and Computation, 30(1) 321-348, 2020 Peer-reviewed
-
Philosophical Logic: Current Trends in Asia, 19-43, Dec, 2017 Peer-reviewedInvited
-
REVIEW OF SYMBOLIC LOGIC, 10(2) 259-283, Jun, 2017 Peer-reviewed
-
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 9537 283-298, 2016 Peer-reviewed
-
STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS, 1-15, 2016 Peer-reviewedInvited
-
REVIEW OF SYMBOLIC LOGIC, 7(3) 455-483, Sep, 2014 Peer-reviewed
-
LOGIC JOURNAL OF THE IGPL, 22(3) 440-457, Jun, 2014 Peer-reviewed
-
ARCHIVE FOR MATHEMATICAL LOGIC, 51(7-8) 719-738, Nov, 2012 Peer-reviewed
-
ARCHIVE FOR MATHEMATICAL LOGIC, 51(7-8) 695-707, Nov, 2012 Peer-reviewed
-
STUDIA LOGICA, 100(1-2) 339-359, Apr, 2012 Peer-reviewed
-
Logic and Philosophy Today, 1 219-244, 2011 Peer-reviewedInvitedLead author
-
JOURNAL OF LOGIC AND COMPUTATION, 20(4) 823-875, Aug, 2010 Peer-reviewed
-
ANNALS OF PURE AND APPLIED LOGIC, 161(9) 1097-1133, Jun, 2010 Peer-reviewed
-
FUZZY SETS AND SYSTEMS, 161(3) 301-310, Feb, 2010 Peer-reviewed
-
Australasian Journal of Logic, 8(1) 1-32, 2010 Peer-reviewedInvited
-
Annals of Pure and Applied Logic, 161(2) 246-250, Nov, 2009 Peer-reviewed
-
REPORTS ON MATHEMATICAL LOGIC, NO 43, (43) 43-63, 2008 Peer-reviewed
-
JOURNAL OF SYMBOLIC LOGIC, 71(4) 1353-1384, Dec, 2006 Peer-reviewed
Misc.
9-
Hiroakira Ono on Substructural Logics,, Outstanding Contributions to Logic 23 1-23, Nov, 2021 InvitedLead author
-
STUDIA LOGICA, 100(6) 1059-1062, Dec, 2012
-
RIMS Kokyuroku, 927 88-103, Nov, 1995
-
IPSJ Magazine, 30(6) p617-625, Jun 15, 1989
-
RIMS Kokyuroku, 588 128-135, Apr, 1986
-
数学セミナ-, 24(6) p19-26, Jun, 1985
-
RIMS Kokyuroku, 516 180-195, Mar, 1984
-
数理解析研究所講究録, 480 130-141, Feb, 1983
-
RIMS Kokyuroku, 454 94-109, Apr, 1982
Books and Other Publications
5-
Springer, 2019
-
日本評論社, 2010 (ISBN: 9784535785564)
-
Elsevier, 2007 (ISBN: 9780444521415)
-
日本評論社, 1994
-
共立出版, 1994
Presentations
23-
The 6th Proof Society International School and Workshop, Sep 9, 2024 Invited
-
Annual Meeting of Mathematical Society of Japan, Mar, 2019 Invited
-
Taiwan Philosophical Logic Colloquium, Nov, 2018 Invited
-
Algebra and Substructural Logics -- Take 6, Jun, 2018 Invited
-
Workshop on Logic, Algebra and Category Theory: LAC 2018, Feb, 2018 Invited
-
6th International Conference on Logic, Rationality and Interaction, Sep, 2017 Invited
-
Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium, Oct, 2016 Invited
-
Coherence and Truth, Dec, 2015 Invited
-
The second Asian Workshop on Philosophical Logic, Apr, 2014 Invited
-
4th World Congress and School on Universal Logic, Apr, 2013 Invited
-
Taiwan Philosophical Logic Colloquium,, Dec, 2012 Invited
-
Twelfth Asian Logic Conference, Dec, 2011 Invited
-
Ordered Groups and Lattices in Algebraic Logic, Sep, 2011 Invited
-
2nd International Conference on Order, Algebra, and Logics, Jun, 2011 Invited
-
Complete ideal completions of residuated lattices and completeness of substructural predicate logicsLogic, Algebra and Truth Degrees 2010, 2010
-
l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, 2010
-
8th International Conference on Logic and Cognition, 2009
-
The First Taiwan Logic and Analytical Philosophy Conference, 2009
-
7th Panhellenic Logic Symposium, 2009
-
International Conference on Residuated Structures: Algebra and Logic, 2008
Professional Memberships
1Research Projects
23-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2005 - 2007
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2004 - 2006
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2001 - 2003
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2001 - 2003
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2001 - 2003
-
科学研究費助成事業, 萌芽的研究, 日本学術振興会, 1999 - 2000
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B)., Japan Society for the Promotion of Science, 1998 - 2000
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research on Priority Areas (A), Japan Society for the Promotion of Science, 1998 - 2000
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, 1996 - 1998
-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, 1997 - 1997
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 1996 - 1997
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, 1994 - 1996
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Co-operative Research (A), Japan Society for the Promotion of Science, 1993 - 1995
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Co-operative Research (A), Japan Society for the Promotion of Science, 1992 - 1994
-
科学研究費助成事業, 重点領域研究, 日本学術振興会, 1992 - 1993
-
科学研究費助成事業, 一般研究(C), 日本学術振興会, 1992 - 1992
-
科学研究費助成事業, 重点領域研究, 日本学術振興会, 1991 - 1991
-
科学研究費助成事業, 重点領域研究, 日本学術振興会, 1990 - 1990
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Co-operative Research (A), Japan Society for the Promotion of Science, 1988 - 1990
-
科学研究費助成事業, 重点領域研究, 日本学術振興会, 1989 - 1989
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated