Hiroakira Ono

1.8k total citations
51 papers, 899 citations indexed

About

Hiroakira Ono is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Management Science and Operations Research. According to data from OpenAlex, Hiroakira Ono has authored 51 papers receiving a total of 899 indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Computational Theory and Mathematics, 39 papers in Artificial Intelligence and 3 papers in Management Science and Operations Research. Recurrent topics in Hiroakira Ono's work include Logic, Reasoning, and Knowledge (36 papers), Advanced Algebra and Logic (34 papers) and Logic, programming, and type systems (20 papers). Hiroakira Ono is often cited by papers focused on Logic, Reasoning, and Knowledge (36 papers), Advanced Algebra and Logic (34 papers) and Logic, programming, and type systems (20 papers). Hiroakira Ono collaborates with scholars based in Japan, Italy and United States. Hiroakira Ono's co-authors include Yuichi Komori, Nikolaos Galatos, Tomasz Kowalski, Peter Jipsen, Franco Montagna, Akira Nakamura, Francesco Belardinelli, Robert K. Meyer, Bayu Surarso and Makoto Kanazawa and has published in prestigious journals such as Fuzzy Sets and Systems, Theoretical Computer Science and Journal of Symbolic Logic.

In The Last Decade

Hiroakira Ono

48 papers receiving 801 citations

Peers

Hiroakira Ono
Ramón Jansana Spain
Matthias Baaz Austria
Wolfgang Rautenberg Germany
Nikolaos Galatos United States
Stojan Bogdanović Serbia
Klaus Denecke Germany
Marcel Jackson Australia
Roy Dyckhoff United Kingdom
L. L. Maksimova Russia
V. Stoltenberg-Hansen Sweden
Ramón Jansana Spain
Hiroakira Ono
Citations per year, relative to Hiroakira Ono Hiroakira Ono (= 1×) peers Ramón Jansana

Countries citing papers authored by Hiroakira Ono

Since Specialization
Citations

This map shows the geographic impact of Hiroakira Ono's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hiroakira Ono with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hiroakira Ono more than expected).

Fields of papers citing papers by Hiroakira Ono

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hiroakira Ono. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hiroakira Ono. The network helps show where Hiroakira Ono may publish in the future.

Co-authorship network of co-authors of Hiroakira Ono

This figure shows the co-authorship network connecting the top 25 collaborators of Hiroakira Ono. A scholar is included among the top collaborators of Hiroakira Ono based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Hiroakira Ono. Hiroakira Ono is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Galatos, Nikolaos & Hiroakira Ono. (2010). Cut elimination and strong separation for substructural logics: An algebraic approach. Annals of Pure and Applied Logic. 161(9). 1097–1133. 19 indexed citations
2.
Ono, Hiroakira, Makoto Kanazawa, & Ruy J. G. B. de Queiroz. (2009). Proceedings of the 16th International Workshop on Logic, Language, Information and Computation. 10 indexed citations
3.
Ono, Hiroakira. (2009). Glivenko theorems revisited. Annals of Pure and Applied Logic. 161(2). 246–250. 9 indexed citations
4.
Ono, Hiroakira, et al.. (2008). Algebraic characterizations of variable separation properties. JAIST Repository. 43(43). 43–63. 7 indexed citations
5.
Huynh, Van‐Nam, Yoshiteru Nakamori, Hiroakira Ono, et al.. (2008). Interval / Probabilistic Uncertainty and Non-classical Logics (Advances in Soft Computing). Springer eBooks. 3 indexed citations
6.
Jipsen, Peter, et al.. (2007). Residuated lattices: An algebraic glimpse at sub-structural logics. CERN Document Server (European Organization for Nuclear Research). 1 indexed citations
7.
Galatos, Nikolaos, Peter Jipsen, Tomasz Kowalski, & Hiroakira Ono. (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151. Elsevier eBooks. 532–532. 147 indexed citations
8.
Lescanne, Pierre, et al.. (2006). The Inductive and Modal Proof Theory of Aumann's Theorem on Rationality. JAIST Repository. 2006. 1–17. 3 indexed citations
9.
Ono, Hiroakira. (2002). Completions of Algebras and Completeness of Modal and Substructural Logics.. 335–370. 8 indexed citations
10.
Kowalski, Tomasz & Hiroakira Ono. (2000). The variety of residuated lattices is generated by its finite simple members. JAIST Repository. 34(34). 59–77. 12 indexed citations
11.
12.
Ono, Hiroakira, et al.. (1997). Hibert style proof system for BPL. Kagoshima Kenritsu Tanki Daigaku Chiiki Kenkyūjo kenkyū nenpō. 97. 1–8. 3 indexed citations
13.
Surarso, Bayu & Hiroakira Ono. (1996). Cut Elimination In Noncommutative Substructural Logics. 30. 13–29. 7 indexed citations
14.
Nakamura, Akira & Hiroakira Ono. (1988). Pictures of functions and their acceptability by automata. Theoretical Computer Science. 23(1). 37–48. 4 indexed citations
15.
Ono, Hiroakira, et al.. (1986). Provably recursive functions in fragments of Peano arithmetic. Journal of the Mathematical Society of Japan. 38(4). 2 indexed citations
16.
Ono, Hiroakira & Yuichi Komori. (1985). Logics without the contraction rule. Journal of Symbolic Logic. 50(1). 169–201. 174 indexed citations
17.
Ono, Hiroakira. (1983). Equational theories and universal theories of fields. Journal of the Mathematical Society of Japan. 35(2). 20 indexed citations
18.
Ono, Hiroakira & Akira Nakamura. (1980). On the size of refutation Kripke models for some linear modal and tense logics. Studia Logica. 39(4). 325–333. 30 indexed citations
19.
Ono, Hiroakira, et al.. (1970). The intermediate logics on the second slice. Journal of the Faculty of Science, the University of Tokyo. Sect. 1 A, Mathematics. 17(3). 457–461. 14 indexed citations
20.
Ono, Hiroakira. (1970). Some Remarks on Evaluations of the Primitive Logic. Nagoya Mathematical Journal. 38. 63–69.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Ramón Jansana Breakdown of academic impact, for papers by Matthias Baaz Breakdown of academic impact, for papers by Wolfgang Rautenberg Breakdown of academic impact, for papers by Nikolaos Galatos Breakdown of academic impact, for papers by Stojan Bogdanović Breakdown of academic impact, for papers by Klaus Denecke Breakdown of academic impact, for papers by Marcel Jackson Breakdown of academic impact, for papers by Roy Dyckhoff Breakdown of academic impact, for papers by L. L. Maksimova Breakdown of academic impact, for papers by V. Stoltenberg-Hansen
Rankless by CCL
2026