Roger D. Maddux

35 papers A* 1Journal 29Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Monk algebras and Ramsey theory.
J. Log. Algebraic Methods Program.
Richard L. Kramer, Roger D. Maddux
2021 J jnl
Identities Generalizing the Theorems of Pappus and Desargues.
Symmetry
Roger D. Maddux
2020 J jnl
Relation algebras of Sugihara, Belnap, Meyer, and Church.
J. Log. Algebraic Methods Program.
Richard L. Kramer, Roger D. Maddux
2016 J jnl
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.
Rev. Symb. Log.
Jeremy F. Alm, Robin Hirsch, Roger D. Maddux
2014 J jnl
Arrow's Theorem for incomplete relations.
J. Log. Algebraic Methods Program.
Roger D. Maddux
2011 J jnl
Weak representations of relation algebras and relational bases.
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2010 J jnl
Relevance Logic and the Calculus of Relations.
Rev. Symb. Log.
Roger D. Maddux
2009 J jnl
Relevance Logics and Relation Algebras.
Rev. Symb. Log.
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
2008 J jnl
Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture.
Electron. J. Comb.
Jeremy F. Alm, Roger D. Maddux, Jacob Manske
2006 — conf
Finite Symmetric Integral Relation Algebras with No 3-Cycles.
RelMiCS
Roger D. Maddux
2004 J jnl
Finite, integral, and finite-dimensional relation algebras: a brief history.
Ann. Pure Appl. Log.
Roger D. Maddux
2003 J jnl
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games.
Log. J. IGPL
Roger D. Maddux
2002 J jnl
Provability with finitely many variables.
Bull. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2002 J jnl
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory.
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2001 J jnl
Completeness of a relational calculus for program schemes.
Theor. Comput. Sci.
Marcelo F. Frias, Roger D. Maddux
1998 A* conf
Completeness of a Relational Calculus for Program Schemes.
LICS
Marcelo F. Frias, Roger D. Maddux
1997 — conf
Completeness of the Relational Calculus MU2.
RelMiCS
Marcelo F. Frias, Roger D. Maddux
1997 J jnl
Nonrepresentable Sequential Algebras.
Log. J. IGPL
Peter Jipsen, Roger D. Maddux
1997 — ch.
Relation Algebras.
Relational Methods in Computer Science
Roger D. Maddux
1996 J jnl
Relation-Algebraic Semantics.
Theor. Comput. Sci.
Roger D. Maddux
1994 J jnl
On Binary Constraint Problems.
J. ACM
Peter B. Ladkin, Roger D. Maddux
1994 J jnl
Representations for Small Relation Algebras.
Notre Dame J. Formal Log.
Hajnal Andréka, Roger D. Maddux
1994 J jnl
Undecidable Semiassociative Relation Algebras.
J. Symb. Log.
Roger D. Maddux
1993 J jnl
Finitary Algebraic Logic II.
Math. Log. Q.
Roger D. Maddux
1993 — conf
Relation Algebras for Reasoning about Time and Space.
AMAST
Roger D. Maddux
1992 J jnl
Relation Algebras of Every Dimension.
J. Symb. Log.
Roger D. Maddux
1991 J jnl
The origin of relation algebras in the development and axiomatization of the calculus of relations.
Stud Logica
Roger D. Maddux
1990 — ed.
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings
Algebraic Logic and Universal Algebra in Computer Science
Clifford Bergman, Roger D. Maddux, Don Pigozzi
1989 J jnl
Finitary Algebraic Logic.
Math. Log. Q.
Roger D. Maddux
1989 J jnl
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.
J. Symb. Log.
Roger D. Maddux
1986 J jnl
Addendum to the paper "On the dependence of functions on their variables".
J. Comb. Theory A
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
1986 J jnl
Books received.
Stud Logica
Janusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki
1983 J jnl
A sequent calculus for relation algebras.
Ann. Pure Appl. Log.
Roger D. Maddux
1982 J jnl
On the Dependence of Functions on Their Variables.
J. Comb. Theory A
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
1980 J jnl
The Equational Theory of CA
J. Symb. Log.
Roger D. Maddux