The Equational Theory of CA3 is Undecidable. - Roger D. Maddux (J. Symb. Log., 1980)

On the Dependence of Functions on Their Variables. - Andrzej Ehrenfeucht; Jeff Kahn 001; Roger D. Maddux; Jan Mycielski (J. Comb. Theory A, 1982)

A sequent calculus for relation algebras. - Roger D. Maddux (Ann. Pure Appl. Log., 1983)

Addendum to the paper "On the dependence of functions on their variables". - Andrzej Ehrenfeucht; Jeff Kahn 001; Roger D. Maddux; Jan Mycielski (J. Comb. Theory A, 1986)

Books received. - Janusz Czelakowski; Roger D. Maddux; Gerhard Schurz; Kazimierz Trzesicki (Stud Logica, 1986)

Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. - Roger D. Maddux (J. Symb. Log., 1989)

Finitary Algebraic Logic. - Roger D. Maddux (Math. Log. Q., 1989)

The origin of relation algebras in the development and axiomatization of the calculus of relations. - Roger D. Maddux (Stud Logica, 1991)

Relation Algebras of Every Dimension. - Roger D. Maddux (J. Symb. Log., 1992)

Relation Algebras for Reasoning about Time and Space. - Roger D. Maddux (AMAST, 1993)

Finitary Algebraic Logic II. - Roger D. Maddux (Math. Log. Q., 1993)

On Binary Constraint Problems. - Peter B. Ladkin; Roger D. Maddux (J. ACM, 1994)

Undecidable Semiassociative Relation Algebras. - Roger D. Maddux (J. Symb. Log., 1994)

Representations for Small Relation Algebras. - Hajnal Andréka; Roger D. Maddux (Notre Dame J. Formal Log., 1994)

Relation-Algebraic Semantics. - Roger D. Maddux (Theor. Comput. Sci., 1996)

Relation Algebras. - Roger D. Maddux (Relational Methods in Computer Science, 1997)

Completeness of the Relational Calculus MU2. - Marcelo F. Frias; Roger D. Maddux (RelMiCS, 1997)

Nonrepresentable Sequential Algebras. - Peter Jipsen; Roger D. Maddux (Log. J. IGPL, 1997)

Completeness of a relational calculus for program schemes. - Marcelo F. Frias; Roger D. Maddux (Theor. Comput. Sci., 2001)

Provability with finitely many variables. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (Bull. Symb. Log., 2002)

Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (J. Symb. Log., 2002)

Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. - Roger D. Maddux (Log. J. IGPL, 2003)

Finite, integral, and finite-dimensional relation algebras: a brief history. - Roger D. Maddux (Ann. Pure Appl. Log., 2004)

Finite Symmetric Integral Relation Algebras with No 3-Cycles. - Roger D. Maddux (RelMiCS, 2006)

Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture. - Jeremy F. Alm; Roger D. Maddux; Jacob Manske (Electron. J. Comb., 2008)

Relevance Logics and Relation Algebras. - Katalin Bimbó; J. Michael Dunn; Roger D. Maddux (Rev. Symb. Log., 2009)

Relevance Logic and the Calculus of Relations. - Roger D. Maddux (Rev. Symb. Log., 2010)

Weak representations of relation algebras and relational bases. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (J. Symb. Log., 2011)

Arrow's Theorem for incomplete relations. - Roger D. Maddux (J. Log. Algebraic Methods Program., 2014)

There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. - Jeremy F. Alm; Robin Hirsch; Roger D. Maddux (Rev. Symb. Log., 2016)

Relation algebras of Sugihara, Belnap, Meyer, and Church. - Richard L. Kramer; Roger D. Maddux (J. Log. Algebraic Methods Program., 2020)

Identities Generalizing the Theorems of Pappus and Desargues. - Roger D. Maddux (Symmetry, 2021)

Monk algebras and Ramsey theory. - Richard L. Kramer; Roger D. Maddux (J. Log. Algebraic Methods Program., 2022)