Roger D. Maddux

According to our database, Roger D. Maddux authored at least 33 papers between 1980 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Monk algebras and Ramsey theory.

Richard L. Kramer, Roger D. Maddux

J. Log. Algebraic Methods Program., 2022

2021

Identities Generalizing the Theorems of Pappus and Desargues.

Roger D. Maddux

Symmetry, 2021

2020

Relation algebras of Sugihara, Belnap, Meyer, and Church.

Richard L. Kramer, Roger D. Maddux

J. Log. Algebraic Methods Program., 2020

2016

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

2014

Arrow's Theorem for incomplete relations.

Roger D. Maddux

J. Log. Algebraic Methods Program., 2014

2011

Weak representations of relation algebras and relational bases.

Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux

J. Symb. Log., 2011

2010

Relevance Logic and the Calculus of Relations.

Roger D. Maddux

Rev. Symb. Log., 2010

2009

Relevance Logics and Relation Algebras.

Katalin Bimbó, J. Michael Dunn, Roger D. Maddux

Rev. Symb. Log., 2009

2008

Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture.

Jeremy F. Alm, Roger D. Maddux, Jacob Manske

Electron. J. Comb., 2008

2006

Finite Symmetric Integral Relation Algebras with No 3-Cycles.

Roger D. Maddux

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2004

Finite, integral, and finite-dimensional relation algebras: a brief history.

Roger D. Maddux

Ann. Pure Appl. Log., 2004

2003

Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games.

Roger D. Maddux

Log. J. IGPL, 2003

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

Provability with finitely many variables.

Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux

Bull. Symb. Log., 2002

2001

Completeness of a relational calculus for program schemes.

Marcelo F. Frias, Roger D. Maddux

Theor. Comput. Sci., 2001

1997

Nonrepresentable Sequential Algebras.

Peter Jipsen, Roger D. Maddux

Log. J. IGPL, 1997

Completeness of the Relational Calculus MU2.

Marcelo F. Frias, Roger D. Maddux

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Relation Algebras.

Roger D. Maddux

Proceedings of the Relational Methods in Computer Science., 1997

1996

Relation-Algebraic Semantics.

Roger D. Maddux

Theor. Comput. Sci., 1996

1994

Representations for Small Relation Algebras.

Hajnal Andréka, Roger D. Maddux

Notre Dame J. Formal Log., 1994

Undecidable Semiassociative Relation Algebras.

Roger D. Maddux

J. Symb. Log., 1994

On Binary Constraint Problems.

Peter B. Ladkin, Roger D. Maddux

J. ACM, 1994

1993

Finitary Algebraic Logic II.

Roger D. Maddux

Math. Log. Q., 1993

Relation Algebras for Reasoning about Time and Space.

Roger D. Maddux

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Relation Algebras of Every Dimension.

Roger D. Maddux

J. Symb. Log., 1992

1991

The origin of relation algebras in the development and axiomatization of the calculus of relations.

Roger D. Maddux

Stud Logica, 1991

1989

Finitary Algebraic Logic.

Roger D. Maddux

Math. Log. Q., 1989

Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.

Roger D. Maddux

J. Symb. Log., 1989

1986

Books received.

Janusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki

Stud Logica, 1986

Addendum to the paper "On the dependence of functions on their variables".

Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski

J. Comb. Theory A, 1986

1983

A sequent calculus for relation algebras.

Roger D. Maddux

Ann. Pure Appl. Log., 1983

1982

On the Dependence of Functions on Their Variables.

Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski

J. Comb. Theory A, 1982

1980

The Equational Theory of CA₃ is Undecidable.

Roger D. Maddux

J. Symb. Log., 1980