Roger D. Maddux - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2022

Monk algebras and Ramsey theoryRichard L. Kramer, Roger D. Maddux. jlap, 126:100759, 2022. [doi]

2021

Identities Generalizing the Theorems of Pappus and DesarguesRoger D. Maddux. symmetry, 13(8):1382, 2021. [doi]

2020

Relation algebras of Sugihara, Belnap, Meyer, and ChurchRichard L. Kramer, Roger D. Maddux. jlap, 117:100604, 2020. [doi]

2016

There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation AlgebrasJeremy F. Alm, Robin Hirsch, Roger D. Maddux. rsl, 9(3):511-521, 2016. [doi]

2014

Arrow's Theorem for incomplete relationsRoger D. Maddux. jlp, 83(2):235-248, 2014. [doi]

2011

Weak representations of relation algebras and relational basesRobin Hirsch, Ian M. Hodkinson, Roger D. Maddux. JSYML, 76(3):870-882, 2011. [doi]

2010

Relevance Logic and the Calculus of RelationsRoger D. Maddux. rsl, 3(1):41-70, 2010. [doi]

2009

Relevance Logics and Relation AlgebrasKatalin Bimbó, J. Michael Dunn, Roger D. Maddux. rsl, 2(1):102-131, 2009. [doi]

2008

Chromatic Graphs, Ramsey Numbers and the Flexible Atom ConjectureJeremy F. Alm, Roger D. Maddux, Jacob Manske. combinatorics, 15(1), 2008. [doi]

2006

Finite Symmetric Integral Relation Algebras with No 3-CyclesRoger D. Maddux. RelMiCS 2006: 2-29 [doi]

2004

Finite, integral, and finite-dimensional relation algebras: a brief historyRoger D. Maddux. APAL, 127(1-3):117-130, 2004. [doi]

2003

Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by gamesRoger D. Maddux. igpl, 11(5):577-581, 2003. [doi]

2002

Provability with finitely many variablesRobin Hirsch, Ian M. Hodkinson, Roger D. Maddux. bsl, 8(3):348-379, 2002. [doi]

Relation Algebra Reducts of Cylindric Algebras and An Application to Proof TheoryRobin Hirsch, Ian M. Hodkinson, Roger D. Maddux. JSYML, 67(1):197-213, 2002.

2001

Completeness of a relational calculus for program schemesMarcelo F. Frias, Roger D. Maddux. TCS, 254(1-2):543-556, 2001. [doi]

1998

Completeness of a Relational Calculus for Program SchemesMarcelo F. Frias, Roger D. Maddux. lics 1998: 127-134

1997

Completeness of the Relational Calculus MU2Marcelo F. Frias, Roger D. Maddux. RelMiCS 1997: 205-214

Nonrepresentable Sequential AlgebrasPeter Jipsen, Roger D. Maddux. igpl, 5(4):565-574, 1997. [doi]

Relation AlgebrasRoger D. Maddux. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 22-38, Springer, 1997. [doi]

1996

Relation-Algebraic SemanticsRoger D. Maddux. TCS, 160(1&2):1-85, 1996. [doi]

1994

Representations for Small Relation AlgebrasHajnal Andréka, Roger D. Maddux. ndjfl, 35(4):550-562, 1994.

On Binary Constraint ProblemsPeter B. Ladkin, Roger D. Maddux. JACM, 41(3):435-469, 1994. [doi]

Undecidable Semiassociative Relation AlgebrasRoger D. Maddux. JSYML, 59(2):398-418, 1994.

1993

Relation Algebras for Reasoning about Time and SpaceRoger D. Maddux. amast 1994: 27-44

Finitary Algebraic Logic IIRoger D. Maddux. mlq, 39:566-569, 1993.

1992

Relation Algebras of Every DimensionRoger D. Maddux. JSYML, 57(4):1213-1229, 1992.

1991

The origin of relation algebras in the development and axiomatization of the calculus of relationsRoger D. Maddux. sLogica, 50(3-4):421-455, 1991. [doi]

1989

Nonfinite Axiomatizability Results for Cylindric and Relation AlgebrasRoger D. Maddux. JSYML, 54(3):951-974, 1989.

Finitary Algebraic LogicRoger D. Maddux. mlq, 35(4):321-332, 1989. [doi]

1986

Books receivedJanusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki. sLogica, 45(2):223-229, 1986. [doi]

Addendum to the paper On the dependence of functions on their variables Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski. JCT, 42(2):317, 1986. [doi]

1983

A sequent calculus for relation algebrasRoger D. Maddux. APAL, 25(1):73-101, 1983. [doi]

1982

On the Dependence of Functions on Their VariablesAndrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski. JCT, 33(1):106-108, 1982.

1980

The Equational Theory of CA::3:: is UndecidableRoger D. Maddux. JSYML, 45(2):311-316, 1980.

Sign in or sign up to see more results.

runs on WebDSL