# zbMATH — the first resource for mathematics

## Ono, Hiroakira

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

#### Co-Authors

 39 single-authored 6 Kowalski, Tomasz Marek 5 Galatos, Nikolaos 3 Jipsen, Peter 3 Komori, Yuichi 2 Alizadeh, Majid 2 Downey, Rodney Graham 2 Hosoi, Tsutomu 2 Kanazawa, Makoto 2 Kihara, Hitoshi 2 Kiriyama, Eiji 2 Montagna, Franco 2 Nomura, Shoshin 2 Sano, Katsuhiko 2 Surarso, Bayu 2 Takano, Mitio 1 Aoto, Takahito 1 Arai, Toshiyasu 1 Arikawa, Setsuo 1 Belardinelli, Francesco 1 Blok, Willem Johannes 1 Brendle, Jörg 1 Chong, Chi Tat 1 Cignoli, Roberto 1 Derakhshan, Farzaneh 1 Esteva, Francesc 1 Farahani, Hadi 1 Feng, Qi 1 Goncharov, Sergeĭ Savost’yanovich 1 Huynh, Van-Nam 1 Jenei, Sándor 1 Ju, Shier 1 Kadota, Noriya 1 Kikyo, Hirotaka 1 Kreinovich, Vladik Yakovlevich 1 Lawry, Jonathan 1 Lee, Kok Yong 1 Liu, Hu 1 Meyer, Robert Kenneth 1 Minari, Pierluigi 1 Nakamori, Yoshiteru 1 Naruse, Hiroyuki 1 Nguyen, Hung Trung 1 Rauszer, Cecylia M. 1 Rivieccio, Umberto 1 Schellinx, Harold 1 Suzuki, Nobu-Yuki 1 Tanaka, Yoshihito 1 Wronski, Andrzej 1 Yang, Syraya Chin-mu
all top 5

#### Serials

 12 Studia Logica 9 Reports on Mathematical Logic 7 Publications of the Research Institute for Mathematical Sciences, Kyoto University 3 The Journal of Symbolic Logic 3 Bulletin of the Section of Logic 3 Logic Journal of the IGPL 2 Algebra Universalis 2 Journal of the Mathematical Society of Japan 2 Notre Dame Journal of Formal Logic 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 Archive for Mathematical Logic 2 The Review of Symbolic Logic 2 Logic in Asia: Studia Logica Library 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Journal of the Faculty of Science. Section I A 1 Nagoya Mathematical Journal 1 Scientific Papers of the College of General Education 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Japan Journal of Industrial and Applied Mathematics 1 Engineering Sciences Reports. Kyushu University 1 The Australasian Journal of Logic 1 Proceedings of the Japan Academy 1 Bulletin of the Section of Logic 1 Lecture Notes in Computer Science 1 Studies in Logic and the Foundations of Mathematics 1 Advances in Soft Computing 1 Short Textbooks in Logic
all top 5

#### Fields

 88 Mathematical logic and foundations (03-XX) 12 General and overarching topics; collections (00-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 8 Computer science (68-XX) 4 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX)

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

#### Cited in 23 Fields

 578 Mathematical logic and foundations (03-XX) 251 Order, lattices, ordered algebraic structures (06-XX) 75 Computer science (68-XX) 73 General algebraic systems (08-XX) 17 Category theory; homological algebra (18-XX) 7 General topology (54-XX) 6 Associative rings and algebras (16-XX) 6 Group theory and generalizations (20-XX) 6 Quantum theory (81-XX) 4 History and biography (01-XX) 2 General and overarching topics; collections (00-XX) 2 Topological groups, Lie groups (22-XX) 2 Measure and integration (28-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX)