×

zbMATH — the first resource for mathematics

Maddux, Roger D.

Compute Distance To:
Author ID: maddux.roger-d Recent zbMATH articles by "Maddux, Roger D."
Published as: Maddux, Roger D.; Maddux, Roger; Maddux, R. D.; Maddux, Robert D.; Maddux, R.
External Links: MGP · Wikidata · GND
Documents Indexed: 53 Publications since 1978, including 2 Books
Reviewing Activity: 74 Reviews

Publications by Year

Citations contained in zbMATH Open

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

Citations by Year

Wikidata Timeline

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