×

zbMATH — the first resource for mathematics

Ono, Hiroakira

Compute Distance To:
Author ID: ono.hiroakira Recent zbMATH articles by "Ono, Hiroakira"
Published as: Ono, Hiroakira; Ono, H.
External Links: MGP
Documents Indexed: 93 Publications since 1967, including 10 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 945 times in 660 Documents Cited by Year
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
368
2007
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
84
1985
Semantics for substructural logics. Zbl 0941.03522
Ono, Hiroakira
36
1994
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
30
2006
Substructural logics and residuated lattices – an introduction. Zbl 1048.03018
Ono, Hiroakira
26
2003
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
23
2002
Kripke models and intermediate logics. Zbl 0226.02025
Ono, Hiroakira
23
1971
On some intuitionistic modal logics. Zbl 0373.02026
Ono, Hiroakira
22
1977
Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics. Zbl 0519.03016
Ono, Hiroakira
19
1983
Proof-theoretic methods in nonclassical logic. – An introduction. Zbl 0947.03073
Ono, Hiroakira
19
1998
A study of intermediate predicate logics. Zbl 0281.02033
Ono, Hiroakira
18
1973
Cut elimination and strong separation for substructural logics: an algebraic approach. Zbl 1245.03027
Galatos, Nikolaos; Ono, Hiroakira
16
2010
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. Zbl 1207.03030
Kihara, Hitoshi; Ono, Hiroakira
15
2010
Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008
Hori, R.; Ono, H.; Schellinx, Harold
14
1994
Structural rules and a logical hierarchy. Zbl 0790.03007
Ono, Hiroakira
14
1990
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004
Interpolation and the Robinson property for logics not closed under the Boolean operations. Zbl 0591.03015
Ono, H.
13
1986
Some problems in intermediate predicate logics. Zbl 0676.03016
Ono, Hiroakira
12
1987
The intermediate logics on the second slice. Zbl 0216.00502
Hosoi, Tsutomu; Ono, Hiroakira
11
1970
Reflection principles in fragments of Peano arithmetic. Zbl 0607.03017
Ono, Hiroakira
11
1987
Glivenko theorems for substructural logics over FL. Zbl 1109.03016
Galatos, Nikolaos; Ono, Hiroakira
11
2006
On the size of refutation Kripke models for some linear modal and tense logics. Zbl 0466.03008
Ono, Hiroakira; Nakamura, Akira
10
1980
Logics without the contraction rule and residuated lattices. Zbl 1330.03054
Ono, Hiroakira
8
2011
Splitting in the variety of residuated lattices. Zbl 1015.08008
Kowalski, Tomasz; Ono, Hiroakira
7
2000
The finite model property for BCK and BCIW. Zbl 0787.03020
Meyer, Robert K.; Ono, Hiroakira
7
1994
Closure operators and complete embeddings of residuated lattices. Zbl 1030.03046
Ono, Hiroakira
7
2003
Fuzzy logics from substructural perspective. Zbl 1188.03017
Kowalski, Tomasz; Ono, Hiroakira
7
2010
The variety of residuated lattices is generated by its finite simple members. Zbl 0991.06004
Kowalski, Tomasz; Ono, Hiroakira
6
2000
Incompleteness of semantics for intermediate predicate logics. I: Kripke’s semantics. Zbl 0299.02026
Ono, Hiroakira
6
1973
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
6
1988
Some results on the intermediate logics. Zbl 0253.02022
Ono, Hiroakira
6
1972
Equational theories and universal theories of fields. Zbl 0496.03015
Ono, Hiroakira
5
1983
Two-stage explicit Runge-Kutta type methods using derivatives. Zbl 1061.65066
Ono, H.; Yoshida, T.
5
2004
Completions of algebras and completeness of modal and substructural logics. Zbl 1082.03059
Ono, Hiroakira
5
2003
Algebraic characterizations of variable separation properties. Zbl 1144.03040
Kihara, Hitoshi; Ono, Hiroakira
5
2008
Algebraic aspect of logics without structural rules. Zbl 0778.03003
Ono, Hiroakira
4
1992
On finite linear intermediate predicate logics. Zbl 0671.03017
Ono, Hiroakira
4
1988
Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280
Kowalski, Tomasz; Ono, Hiroakira
4
2017
Glivenko theorems revisited. Zbl 1181.03021
Ono, Hiroakira
4
2009
Semantical analysis of predicate logics without the contraction rule. Zbl 0595.03019
Ono, Hiroakira
4
1985
Glivenko theorems and negative translations in substructural predicate logics. Zbl 1277.03015
Farahani, Hadi; Ono, Hiroakira
4
2012
Algebraic semantics for predicate logics and their completeness. Zbl 0923.03075
Ono, Hiroakira
3
1999
Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002
Aoto, Takahito; Ono, Hiroakira
3
1994
Intermediate predicate logics determined by ordinals. Zbl 0745.03022
Minari, Pierluigi; Takano, Mitio; Ono, Hiroakira
3
1990
The contraction rule and decision problems for logics without structural rules. Zbl 0739.03009
Kiriyama, Eiji; Ono, Hiroakira
3
1991
Modal twist-structures over residuated lattices. Zbl 1335.03072
Ono, Hiroakira; Rivieccio, Umberto
3
2014
Pictures of functions and their acceptability by automata. Zbl 0504.68027
Nakamura, Akira; Ono, Hiroakira
2
1983
Cut elimination in noncommutative substructural logics. Zbl 0896.03048
Surarso, Bayu; Ono, Hiroakira
2
1996
Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics. Zbl 0996.03012
Tanaka, Yoshihito; Ono, Hiroakira
2
2001
Uniform interpolation in substructural logics. Zbl 1337.03033
Alizadeh, Majid; Derakhshan, Farzaneh; Ono, Hiroakira
2
2014
Axiomatization of models for intermediate logics constructed with Boolean models by piling up. Zbl 0246.02021
Hosoi, Tsutomu; Ono, Hiroakira
2
1972
On the finite model property for Kripke models. Zbl 0249.02022
Ono, Hiroakira
2
1971
On involutive FL\(_{e}\)-monoids. Zbl 1284.06035
Jenei, Sándor; Ono, Hiroakira
2
2012
A syntactic approach to Maksimova’s principle of variable separation for some substructural logics. Zbl 0967.03017
Naruse, Hiroyuki; Surarso, Bayu; Ono, Hiroakira
1
1998
Decidability and finite model property of substructural logics. Zbl 0956.03028
Ono, Hiroakira
1
1998
Provably recursive functions in fragments of Peano arithmetic. Zbl 0589.03037
Ono, Hiroakira; Kadota, Noriya
1
1986
Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Zbl 1105.03004
Goncharov, S. S. (ed.); Downey, R. (ed.); Ono, H. (ed.)
1
2006
Analytic cut and interpolation for bi-intuitionistic logic. Zbl 1417.03280
Kowalski, Tomasz; Ono, Hiroakira
4
2017
Modal twist-structures over residuated lattices. Zbl 1335.03072
Ono, Hiroakira; Rivieccio, Umberto
3
2014
Uniform interpolation in substructural logics. Zbl 1337.03033
Alizadeh, Majid; Derakhshan, Farzaneh; Ono, Hiroakira
2
2014
Glivenko theorems and negative translations in substructural predicate logics. Zbl 1277.03015
Farahani, Hadi; Ono, Hiroakira
4
2012
On involutive FL\(_{e}\)-monoids. Zbl 1284.06035
Jenei, Sándor; Ono, Hiroakira
2
2012
Logics without the contraction rule and residuated lattices. Zbl 1330.03054
Ono, Hiroakira
8
2011
Cut elimination and strong separation for substructural logics: an algebraic approach. Zbl 1245.03027
Galatos, Nikolaos; Ono, Hiroakira
16
2010
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. Zbl 1207.03030
Kihara, Hitoshi; Ono, Hiroakira
15
2010
Fuzzy logics from substructural perspective. Zbl 1188.03017
Kowalski, Tomasz; Ono, Hiroakira
7
2010
Glivenko theorems revisited. Zbl 1181.03021
Ono, Hiroakira
4
2009
Algebraic characterizations of variable separation properties. Zbl 1144.03040
Kihara, Hitoshi; Ono, Hiroakira
5
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
368
2007
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
30
2006
Glivenko theorems for substructural logics over FL. Zbl 1109.03016
Galatos, Nikolaos; Ono, Hiroakira
11
2006
Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Zbl 1105.03004
Goncharov, S. S.; Downey, R.; Ono, H.
1
2006
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004
Two-stage explicit Runge-Kutta type methods using derivatives. Zbl 1061.65066
Ono, H.; Yoshida, T.
5
2004
Substructural logics and residuated lattices – an introduction. Zbl 1048.03018
Ono, Hiroakira
26
2003
Closure operators and complete embeddings of residuated lattices. Zbl 1030.03046
Ono, Hiroakira
7
2003
Completions of algebras and completeness of modal and substructural logics. Zbl 1082.03059
Ono, Hiroakira
5
2003
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
23
2002
Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics. Zbl 0996.03012
Tanaka, Yoshihito; Ono, Hiroakira
2
2001
Splitting in the variety of residuated lattices. Zbl 1015.08008
Kowalski, Tomasz; Ono, Hiroakira
7
2000
The variety of residuated lattices is generated by its finite simple members. Zbl 0991.06004
Kowalski, Tomasz; Ono, Hiroakira
6
2000
Algebraic semantics for predicate logics and their completeness. Zbl 0923.03075
Ono, Hiroakira
3
1999
Proof-theoretic methods in nonclassical logic. – An introduction. Zbl 0947.03073
Ono, Hiroakira
19
1998
A syntactic approach to Maksimova’s principle of variable separation for some substructural logics. Zbl 0967.03017
Naruse, Hiroyuki; Surarso, Bayu; Ono, Hiroakira
1
1998
Decidability and finite model property of substructural logics. Zbl 0956.03028
Ono, Hiroakira
1
1998
Cut elimination in noncommutative substructural logics. Zbl 0896.03048
Surarso, Bayu; Ono, Hiroakira
2
1996
Semantics for substructural logics. Zbl 0941.03522
Ono, Hiroakira
36
1994
Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008
Hori, R.; Ono, H.; Schellinx, Harold
14
1994
The finite model property for BCK and BCIW. Zbl 0787.03020
Meyer, Robert K.; Ono, Hiroakira
7
1994
Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002
Aoto, Takahito; Ono, Hiroakira
3
1994
Algebraic aspect of logics without structural rules. Zbl 0778.03003
Ono, Hiroakira
4
1992
The contraction rule and decision problems for logics without structural rules. Zbl 0739.03009
Kiriyama, Eiji; Ono, Hiroakira
3
1991
Structural rules and a logical hierarchy. Zbl 0790.03007
Ono, Hiroakira
14
1990
Intermediate predicate logics determined by ordinals. Zbl 0745.03022
Minari, Pierluigi; Takano, Mitio; Ono, Hiroakira
3
1990
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
6
1988
On finite linear intermediate predicate logics. Zbl 0671.03017
Ono, Hiroakira
4
1988
Some problems in intermediate predicate logics. Zbl 0676.03016
Ono, Hiroakira
12
1987
Reflection principles in fragments of Peano arithmetic. Zbl 0607.03017
Ono, Hiroakira
11
1987
Interpolation and the Robinson property for logics not closed under the Boolean operations. Zbl 0591.03015
Ono, H.
13
1986
Provably recursive functions in fragments of Peano arithmetic. Zbl 0589.03037
Ono, Hiroakira; Kadota, Noriya
1
1986
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
84
1985
Semantical analysis of predicate logics without the contraction rule. Zbl 0595.03019
Ono, Hiroakira
4
1985
Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics. Zbl 0519.03016
Ono, Hiroakira
19
1983
Equational theories and universal theories of fields. Zbl 0496.03015
Ono, Hiroakira
5
1983
Pictures of functions and their acceptability by automata. Zbl 0504.68027
Nakamura, Akira; Ono, Hiroakira
2
1983
On the size of refutation Kripke models for some linear modal and tense logics. Zbl 0466.03008
Ono, Hiroakira; Nakamura, Akira
10
1980
On some intuitionistic modal logics. Zbl 0373.02026
Ono, Hiroakira
22
1977
A study of intermediate predicate logics. Zbl 0281.02033
Ono, Hiroakira
18
1973
Incompleteness of semantics for intermediate predicate logics. I: Kripke’s semantics. Zbl 0299.02026
Ono, Hiroakira
6
1973
Some results on the intermediate logics. Zbl 0253.02022
Ono, Hiroakira
6
1972
Axiomatization of models for intermediate logics constructed with Boolean models by piling up. Zbl 0246.02021
Hosoi, Tsutomu; Ono, Hiroakira
2
1972
Kripke models and intermediate logics. Zbl 0226.02025
Ono, Hiroakira
23
1971
On the finite model property for Kripke models. Zbl 0249.02022
Ono, Hiroakira
2
1971
The intermediate logics on the second slice. Zbl 0216.00502
Hosoi, Tsutomu; Ono, Hiroakira
11
1970
all top 5

Cited by 517 Authors

25 Ono, Hiroakira
20 Galatos, Nikolaos
17 Raftery, James G.
16 Vychodil, Vilém
15 Cintula, Petr
15 Paoli, Francesco
13 Chajda, Ivan
12 Ciabattoni, Agata
12 Metcalfe, George
12 Montagna, Franco
11 Ledda, Antonio
11 Moraschini, Tommaso
11 Noguera, Carles
11 Tsinakis, Constantine
10 Horčík, Rostislav
10 Jipsen, Peter
9 Buszkowski, Wojciech
9 Kowalski, Tomasz Marek
9 van Alten, Clint J.
9 Vetterlein, Thomas
8 Bianchi, Matteo
8 Busaniche, Manuela
8 Ciungu, Lavinia Corina
8 Font, Josep Maria
8 Georgescu, George
8 Terui, Kazushige
7 Bělohlávek, Radim
7 Gil-Férez, José
7 Godo, Lluís
7 Jenei, Sándor
7 Länger, Helmut M.
7 Maksimova, Larisa L’vovna
7 Torrens Torrell, Antoni
6 Bezhanishvili, Guram
6 Esteva, Francesc
6 Mureşan, Claudia
6 Olson, Jeffrey S.
6 Palmigiano, Alessandra
6 Spinks, Matthew
6 Suzuki, Nobu-Yuki
6 Wang, Sanmin
5 Aguzzoli, Stefano
5 Beklemishev, Lev D.
5 Bergstra, Jan A.
5 Hájek, Petr
5 Marchioni, Enrico
5 Rachůnek, Jiří
5 Rasouli, Saeed
5 Rivieccio, Umberto
5 Yang, Eunsuk
5 Zakharyaschev, Michael Viktorovich
5 Zhao, Bin
4 Bezhanishvili, Nick
4 Citkin, Alex
4 Conradie, Willem J.
4 Došen, Kosta
4 Fussner, Wesley
4 Ghilardi, Silvio
4 Goldblatt, Robert Ian
4 Humberstone, Lloyd
4 Jansana, Ramon
4 Komori, Yuichi
4 Kondo, Michiro
4 Paseka, Jan
4 Salibra, Antonino
4 Suzuki, Tomoyuki
4 Ugolini, Sara
4 Wannenburg, Johann J.
4 Wansing, Heinrich Theodor
4 Wurm, Christian
3 Agliano, Paolo
3 Baldi, Paolo
3 Běhounek, Libor
3 Blok, Willem Johannes
3 Bonzio, Stefano
3 Cabrer, Leonardo Manuel
3 Castaño, Diego N.
3 Chvalovský, Karel
3 Cignoli, Roberto
3 Davey, Brian A.
3 Diaconescu, Răzvan
3 Díaz Varela, José Patricio
3 Dyckhoff, Roy
3 El-Zekey, Moataz Saleh
3 Flaminio, Tommaso
3 Gabbay, Dov M.
3 García-Cerdaña, Àngel
3 Ghorbani, Shokoofeh
3 Han, Shengwei
3 Haniková, Zuzana
3 Hartonas, Chrysafis
3 Höhle, Ulrich
3 Hosoi, Tsutomu
3 Hsieh, Ai-Ni
3 Kamide, Norihiro
3 Kühr, Jan
3 MacCaull, Wendy
3 Middelburg, Cornelis A.
3 Miglioli, Pierangelo
3 Odintsov, Sergei P.
...and 417 more Authors
all top 5

Cited in 72 Serials

95 Studia Logica
73 Fuzzy Sets and Systems
43 Algebra Universalis
42 Soft Computing
41 Annals of Pure and Applied Logic
29 Archive for Mathematical Logic
25 The Journal of Symbolic Logic
18 The Review of Symbolic Logic
17 Theoretical Computer Science
16 Information Sciences
14 Journal of Philosophical Logic
13 Journal of Applied Logic
12 Mathematical Logic Quarterly (MLQ)
10 Notre Dame Journal of Formal Logic
10 Order
10 Journal of Logic, Language and Information
9 International Journal of Approximate Reasoning
7 Journal of Pure and Applied Algebra
6 Algebra and Logic
6 Journal of Algebra
6 Publications of the Research Institute for Mathematical Sciences, Kyoto University
6 Logica Universalis
5 Semigroup Forum
5 Information and Computation
5 International Journal of Algebra and Computation
5 Journal of Applied Non-Classical Logics
5 Journal of Logical and Algebraic Methods in Programming
4 International Journal of Theoretical Physics
4 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
4 Journal of Computer and System Sciences
4 Transactions of the American Mathematical Society
4 Bulletin of the Section of Logic
4 Journal of Multiple-Valued Logic and Soft Computing
3 The Bulletin of Symbolic Logic
3 Annals of Mathematics and Artificial Intelligence
3 Iranian Journal of Fuzzy Systems
3 Asian-European Journal of Mathematics
2 Communications in Algebra
2 International Journal of General Systems
2 Proceedings of the Japan Academy. Series A
2 Quaestiones Mathematicae
2 Synthese
2 Journal of Automated Reasoning
2 MSCS. Mathematical Structures in Computer Science
2 Journal of Mathematical Sciences (New York)
2 Central European Journal of Mathematics
2 Proceedings of the Japan Academy
2 Logical Methods in Computer Science
2 Symmetry
1 Acta Informatica
1 Artificial Intelligence
1 Information Processing Letters
1 Journal of Mathematical Analysis and Applications
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 International Journal of Mathematics and Mathematical Sciences
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Siberian Mathematical Journal
1 Bulletin of the Iranian Mathematical Society
1 Algorithmica
1 Annals of Operations Research
1 Indagationes Mathematicae. New Series
1 Analele Ştiinţifice ale Universităţii Al. I. Cuza din Iaşi. Serie Nouă. Matematică
1 Science in China. Series E
1 Journal of Intelligent and Fuzzy Systems
1 ACM Transactions on Computational Logic
1 Proceedings of the Steklov Institute of Mathematics
1 Afrika Matematika
1 Topological Algebra and its Applications
1 Journal of Algebra and Related Topics
1 Open Mathematics

Citations by Year