# zbMATH — the first resource for mathematics

Compute Distance To:
 Documents Indexed: 53 Publications since 1978, including 2 Books Reviewing Activity: 74 Reviews
all top 5

#### Co-Authors

 31 single-authored 4 Hirsch, Robin 4 Kramer, Richard L. 3 Alm, Jeremy F. 3 Hodkinson, Ian Martin 3 Jipsen, Peter 2 Andréka, Hajnal 2 Ehrenfeucht, Andrzej 2 Kahn, Jeff D. 2 Mycielski, Jan 1 Bergmann, Clifford H. 1 Bimbó, Katalin 1 Dunn, Jon Michael 1 Ladkin, Peter B. 1 Manske, Jacob 1 Németi, István 1 Pigozzi, Don Leonard 1 Tuza, Zsolt
all top 5

#### Serials

 13 Algebra Universalis 6 The Journal of Symbolic Logic 3 Proceedings of the American Mathematical Society 3 The Review of Symbolic Logic 2 Journal of Combinatorial Theory. Series A 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Annals of Pure and Applied Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of the Association for Computing Machinery 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Mathematical Logic Quarterly (MLQ) 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Logic Journal of the IGPL 1 Lecture Notes in Computer Science 1 Studies in Logic and the Foundations of Mathematics
all top 5

#### Fields

 51 Mathematical logic and foundations (03-XX) 6 General algebraic systems (08-XX) 5 Computer science (68-XX) 4 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Group theory and generalizations (20-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

#### Citations contained in zbMATH Open

42 Publications have been cited 431 times in 244 Documents Cited by Year
Relation algebras. Zbl 1197.03051
2006
Some varieties containing relation algebras. Zbl 0515.03039
1982
Some sufficient conditions for the representability of relation algebras. Zbl 0386.03033
1978
On binary constraint problems. Zbl 0813.03045
1994
The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042
1991
Nonfinite axiomatizability results for cylindric and relation algebras. Zbl 0686.03035
1989
A sequent calculus for relation algebras. Zbl 0528.03016
1983
Relation-algebraic semantics. Zbl 0872.68106
1996
Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Pair-dense relation algebras. Zbl 0746.03055
1991
Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. Zbl 0749.03048
1991
The equational theory of $$CA_3$$ is undecidable. Zbl 0435.03010
1980
Finitary algebraic logic. Zbl 0661.03052
1989
Relation algebras. Zbl 0885.03047
1997
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
1991
Relation algebras of every dimension. Zbl 0778.03022
1992
Non-embeddable simple relation algebras. Zbl 0903.03039
Frias, M. F.; Maddux, R. D.
1997
Provability with finitely many variables. Zbl 1024.03010
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
A perspective on the theory of relation algebras. Zbl 0803.03043
1994
On the dependence of functions on their variables. Zbl 0494.04003
Ehrenfeucht, Andrzej; Kahn, Jeff; Maddux, Roger; Mycielski, Jan
1982
Finite integral relation algebras. Zbl 0583.03048
1985
Necessary subalgebras of simple nonintegral semiassociative relation algebras. Zbl 0723.03038
1990
Relevance logics and relation algebras. Zbl 1174.03005
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D.
2009
Relevance logic and the calculus of relations. Zbl 1198.03029
2010
Equations not preserved by complete extensions. Zbl 0522.03054
1982
Chromatic graphs, Ramsey numbers and the flexible atom conjecture. Zbl 1163.05332
Alm, Jeremy F.; Maddux, Roger D.; Manske, Jacob
2008
Representations for small relation algebras. Zbl 0830.03033
1994
Finitary algebraic logic. II. Zbl 0812.03037
1993
Embedding modular lattices into relation algebras. Zbl 0415.06010
1981
Subcompletions of representable relation algebras. Zbl 1444.03177
2018
The neat embedding problem and the number of variables required in proofs. Zbl 0717.03025
1991
Relation algebras of formulas. Zbl 0923.03073
1999
Nonrepresentable sequential algebras. Zbl 0882.03061
1997
On the derivation of identities involving projection functions. Zbl 0845.03028
1995
Undecidable semiassociative relation algebras. Zbl 0815.03041
1994
Canonical relativized cylindric set algebras. Zbl 0678.03029
1989
Weak representations of relation algebras and relational bases. Zbl 1260.03112
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2011
Completeness of a relational calculus for program schemes. Zbl 0945.03538
1998
Total tense algebras and symmetric semiassociative relation algebras. Zbl 0836.08004
Jipsen, P.; Kramer, R. L.; Maddux, R. D.
1995
Small representations of the relation algebra $$\mathcal E_{n+1}(1,2,3)$$. Zbl 0816.03034
Jipsen, P.; Maddux, R. D.; Tuza, Z.
1995
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras. Zbl 1392.03060
Alm, Jeremy F.; Hirsch, Robin; Maddux, Roger D.
2016
Addendum to the paper ”On the dependence of functions on their variables”. Zbl 0588.04009
Ehrenfeucht, A.; Kahn, J.; Maddux, R.; Mycielski, J.
1986
Subcompletions of representable relation algebras. Zbl 1444.03177
2018
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras. Zbl 1392.03060
Alm, Jeremy F.; Hirsch, Robin; Maddux, Roger D.
2016
Weak representations of relation algebras and relational bases. Zbl 1260.03112
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2011
Relevance logic and the calculus of relations. Zbl 1198.03029
2010
Relevance logics and relation algebras. Zbl 1174.03005
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D.
2009
Chromatic graphs, Ramsey numbers and the flexible atom conjecture. Zbl 1163.05332
Alm, Jeremy F.; Maddux, Roger D.; Manske, Jacob
2008
Relation algebras. Zbl 1197.03051
2006
Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Provability with finitely many variables. Zbl 1024.03010
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Relation algebras of formulas. Zbl 0923.03073
1999
Completeness of a relational calculus for program schemes. Zbl 0945.03538
1998
Relation algebras. Zbl 0885.03047
1997
Non-embeddable simple relation algebras. Zbl 0903.03039
Frias, M. F.; Maddux, R. D.
1997
Nonrepresentable sequential algebras. Zbl 0882.03061
1997
Relation-algebraic semantics. Zbl 0872.68106
1996
On the derivation of identities involving projection functions. Zbl 0845.03028
1995
Total tense algebras and symmetric semiassociative relation algebras. Zbl 0836.08004
Jipsen, P.; Kramer, R. L.; Maddux, R. D.
1995
Small representations of the relation algebra $$\mathcal E_{n+1}(1,2,3)$$. Zbl 0816.03034
Jipsen, P.; Maddux, R. D.; Tuza, Z.
1995
On binary constraint problems. Zbl 0813.03045
1994
A perspective on the theory of relation algebras. Zbl 0803.03043
1994
Representations for small relation algebras. Zbl 0830.03033
1994
Undecidable semiassociative relation algebras. Zbl 0815.03041
1994
Finitary algebraic logic. II. Zbl 0812.03037
1993
Relation algebras of every dimension. Zbl 0778.03022
1992
The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042
1991
Pair-dense relation algebras. Zbl 0746.03055
1991
Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. Zbl 0749.03048
1991
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
1991
The neat embedding problem and the number of variables required in proofs. Zbl 0717.03025
1991
Necessary subalgebras of simple nonintegral semiassociative relation algebras. Zbl 0723.03038
1990
Nonfinite axiomatizability results for cylindric and relation algebras. Zbl 0686.03035
1989
Finitary algebraic logic. Zbl 0661.03052
1989
Canonical relativized cylindric set algebras. Zbl 0678.03029
1989
Addendum to the paper ”On the dependence of functions on their variables”. Zbl 0588.04009
Ehrenfeucht, A.; Kahn, J.; Maddux, R.; Mycielski, J.
1986
Finite integral relation algebras. Zbl 0583.03048
1985
A sequent calculus for relation algebras. Zbl 0528.03016
1983
Some varieties containing relation algebras. Zbl 0515.03039
1982
On the dependence of functions on their variables. Zbl 0494.04003
Ehrenfeucht, Andrzej; Kahn, Jeff; Maddux, Roger; Mycielski, Jan
1982
Equations not preserved by complete extensions. Zbl 0522.03054
1982
Embedding modular lattices into relation algebras. Zbl 0415.06010
1981
The equational theory of $$CA_3$$ is undecidable. Zbl 0435.03010
1980
Some sufficient conditions for the representability of relation algebras. Zbl 0386.03033
1978
all top 5

#### Cited by 208 Authors

 23 Maddux, Roger D. 22 Andréka, Hajnal 16 Németi, István 15 Sayed Ahmed, Tarek 14 Hirsch, Robin 10 Givant, Steven R. 10 Hodkinson, Ian Martin 10 Mikulás, Szabolcs 8 Berghammer, Rudolf 8 Guttmann, Walter 7 Jipsen, Peter 5 Alm, Jeremy F. 5 Furusawa, Hitoshi 5 Gerevini, Alfonso Emilio 5 Höfner, Peter 4 Imdad, Mohammad 4 Jackson, Marcel G. 4 Jónsson, Bjarni 4 Möller, Bernhard 4 Simon, András 4 Struth, Georg 4 Stucke, Insa 4 Winter, Michael 3 Arif, Mohammad 3 de Freitas, Renata P. 3 Düntsch, Ivo 3 Ferenczi, Miklós 3 Fletcher, George H. L. 3 Formisano, Andrea 3 Gyssens, Marc 3 Lehtonen, Erkko 3 Marx, Maarten 3 Orłowska, Ewa S. 3 Santocanale, Luigi 3 Van Gucht, Dirk 3 Venema, Yde 3 Wu, Yuqing 2 Ahmadullah, Md 2 Alam, Aftab 2 Biró, Balázs 2 Brink, Chris 2 Couceiro, Miguel 2 Davvaz, Bijan 2 de Rijke, Maarten 2 Goldblatt, Robert Ian 2 Goranko, Valentin F. 2 Grattan-Guinness, Ivor 2 Heidari, Dariush 2 Jeavons, Peter G. 2 Joosten, Stef Maria Mathias 2 Kawahara, Yasuo 2 Koubarakis, Manolis 2 Kowalski, Tomasz Marek 2 Kramer, Richard L. 2 Kurucz, Agi 2 Leinders, Dirk 2 Montanari, Angelo 2 Moratz, Reinhard 2 Mossakowski, Till 2 Navarrete, Isabel 2 Oliveira, José Nuno 2 Rafter, John A. 2 Roocks, Patrick 2 Sain, Ildikó 2 Santos, Eugene jun. 2 Schellhorn, Gerhard 2 Schmidt, Gunther 2 Schmidt, Renate A. 2 Schubert, Lenhart K. 2 Sciavicco, Guido 2 Stokes, Timothy E. 2 Tchier, Fairouz 2 Van den Bussche, Jan 2 Vansummeren, Stijn 2 Veloso, Paulo Augusto S. 2 Veloso, Sheila R. M. 2 Viana, Petrucio 2 Wurm, Christian 2 Ylvisaker, Andrew John 1 Ali, Javid 1 Ali, Muhammad Usman 1 Andrews, David A. 1 Armstrong, Alasdair 1 Aydi, Hassen 1 Bach, Eric 1 Baker, Kirby A. 1 Barbosa, Luís Soares 1 Best, Eike 1 Bolus, Stefan 1 Britz, Katarina 1 Bulatov, Andrei A. 1 Burks, Christian 1 Cardenas-Viedma, M. Antonia 1 Chandok, Sumit 1 Chen, Zhizhong 1 Cheng, Herng Yi 1 Cheong, Kang Hao 1 Cohen, David A. 1 Cohn, Anthony G. 1 Comer, Stephen Daniel ...and 108 more Authors
all top 5

#### Cited in 61 Serials

 42 Algebra Universalis 17 Journal of Logical and Algebraic Methods in Programming 16 Artificial Intelligence 14 Annals of Pure and Applied Logic 12 The Journal of Symbolic Logic 12 Theoretical Computer Science 11 Studia Logica 9 Journal of Applied Non-Classical Logics 6 Information Sciences 6 Transactions of the American Mathematical Society 5 Mathematical Logic Quarterly (MLQ) 5 The Journal of Logic and Algebraic Programming 4 Journal of Logic, Language and Information 3 Notre Dame Journal of Formal Logic 3 Proceedings of the American Mathematical Society 3 The Review of Symbolic Logic 2 Acta Informatica 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Fuzzy Sets and Systems 2 Journal of Combinatorial Theory. Series A 2 Journal of Computer and System Sciences 2 Information and Computation 2 Formal Aspects of Computing 2 International Journal of Algebra and Computation 2 Annals of Mathematics and Artificial Intelligence 2 ACM Transactions on Computational Logic 2 Fixed Point Theory and Applications 2 Journal of Function Spaces 1 Computers & Mathematics with Applications 1 Periodica Mathematica Hungarica 1 Ukrainian Mathematical Journal 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Journal of Algebra 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 Kyungpook Mathematical Journal 1 Semigroup Forum 1 Synthese 1 Advances in Applied Mathematics 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Artificial Intelligence Review 1 European Journal of Operational Research 1 Journal of the Egyptian Mathematical Society 1 The Bulletin of Symbolic Logic 1 Constraints 1 Journal of Applied Mathematics 1 Logica Universalis 1 Frontiers of Mathematics in China 1 Discrete and Continuous Dynamical Systems. Series S 1 Asian-European Journal of Mathematics 1 Discrete Mathematics, Algorithms and Applications 1 Armenian Journal of Mathematics 1 Eurasian Mathematical Journal 1 Bollettino dell’Unione Matematica Italiana
all top 5

#### Cited in 18 Fields

 173 Mathematical logic and foundations (03-XX) 93 Computer science (68-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 35 General algebraic systems (08-XX) 18 Combinatorics (05-XX) 12 Group theory and generalizations (20-XX) 7 Category theory; homological algebra (18-XX) 7 General topology (54-XX) 5 History and biography (01-XX) 5 Operator theory (47-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Number theory (11-XX) 2 General and overarching topics; collections (00-XX) 2 Associative rings and algebras (16-XX) 2 Convex and discrete geometry (52-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Biology and other natural sciences (92-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.