Roger D. Maddux

Publication Activity (10 Years)

Years Active: 1980-2022
Publications (10 Years): 4

Top Topics

Relation Algebra

Spatial Reasoning

Inconsistent Information

Top Venues

J. Log. Algebraic Methods Program.

Rev. Symb. Log.

Publications

Richard L. Kramer, Roger D. Maddux
Monk algebras and Ramsey theory. J. Log. Algebraic Methods Program. 126 (2022)
Roger D. Maddux
Identities Generalizing the Theorems of Pappus and Desargues. Symmetry 13 (8) (2021)
Richard L. Kramer, Roger D. Maddux
Relation algebras of Sugihara, Belnap, Meyer, and Church. J. Log. Algebraic Methods Program. 117 (2020)
Jeremy F. Alm, Robin Hirsch, Roger D. Maddux
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. Rev. Symb. Log. 9 (3) (2016)
Roger D. Maddux
Arrow's Theorem for incomplete relations. J. Log. Algebraic Methods Program. 83 (2) (2014)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Weak representations of relation algebras and relational bases. J. Symb. Log. 76 (3) (2011)
Roger D. Maddux
Relevance Logic and the Calculus of Relations. Rev. Symb. Log. 3 (1) (2010)
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
Relevance Logics and Relation Algebras. Rev. Symb. Log. 2 (1) (2009)
Jeremy F. Alm, Roger D. Maddux, Jacob Manske
Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture. Electron. J. Comb. 15 (1) (2008)
Roger D. Maddux
Finite Symmetric Integral Relation Algebras with No 3-Cycles. RelMiCS (2006)
Roger D. Maddux
Finite, integral, and finite-dimensional relation algebras: a brief history. Ann. Pure Appl. Log. 127 (1-3) (2004)
Roger D. Maddux
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. Log. J. IGPL 11 (5) (2003)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. J. Symb. Log. 67 (1) (2002)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Provability with finitely many variables. Bull. Symb. Log. 8 (3) (2002)
Marcelo F. Frias, Roger D. Maddux
Completeness of a relational calculus for program schemes. Theor. Comput. Sci. 254 (1-2) (2001)
Marcelo F. Frias, Roger D. Maddux
Completeness of a Relational Calculus for Program Schemes. LICS (1998)
Peter Jipsen, Roger D. Maddux
Nonrepresentable Sequential Algebras. Log. J. IGPL 5 (4) (1997)
Marcelo F. Frias, Roger D. Maddux
Completeness of the Relational Calculus MU2. RelMiCS (1997)
Roger D. Maddux
Relation-Algebraic Semantics. Theor. Comput. Sci. 160 (1&2) (1996)
Roger D. Maddux
Undecidable Semiassociative Relation Algebras. J. Symb. Log. 59 (2) (1994)
Peter B. Ladkin, Roger D. Maddux
On Binary Constraint Problems. J. ACM 41 (3) (1994)
Hajnal Andréka, Roger D. Maddux
Representations for Small Relation Algebras. Notre Dame J. Formal Log. 35 (4) (1994)
Roger D. Maddux
Finitary Algebraic Logic II. Math. Log. Q. 39 (1993)
Roger D. Maddux
Relation Algebras for Reasoning about Time and Space. AMAST (1993)
Roger D. Maddux
Relation Algebras of Every Dimension. J. Symb. Log. 57 (4) (1992)
Roger D. Maddux
The origin of relation algebras in the development and axiomatization of the calculus of relations. Stud Logica 50 (3-4) (1991)
Roger D. Maddux
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. J. Symb. Log. 54 (3) (1989)
Roger D. Maddux
Finitary Algebraic Logic. Math. Log. Q. 35 (4) (1989)
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
Addendum to the paper "On the dependence of functions on their variables". J. Comb. Theory, Ser. A 42 (2) (1986)
Janusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki
Books received. Stud Logica 45 (2) (1986)
Roger D. Maddux
A sequent calculus for relation algebras. Ann. Pure Appl. Log. 25 (1) (1983)
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
On the Dependence of Functions on Their Variables. J. Comb. Theory, Ser. A 33 (1) (1982)
Roger D. Maddux
is Undecidable. J. Symb. Log. 45 (2) (1980)