Ph. D., University of California, Berkeley, 1978

Research Areas: algebraic logic, relation algebras

Contact Information:

Office: 418 Carver Hall, Iowa State University,

Ames, IA 50011

Telephone: (515) 294-8134

Fax: (515) 294-5454

E-mail: maddux@iastate.edu

Mailing Address:

Department of Mathematics

396 Carver Hall

Iowa State University

Ames, Iowa 50011, USA

LAST UPDATE: 5 June 2013

Office Hours = NONE

CURRENT COURSES, Fall 2013: NONE

Seminar presentation on Arrow's Theorem "Arrow's Theorem for incomplete relations"

Pdf file of a scanned old paper: "A Sequent Calculus for Relation Algebras", Annals of Pure and Applied Logic 25(1983)

Preprint of a paper that appeared in the Review of Symbolic Logic, March 2010. It was presented at an AMS sectional meeting, March 27-29, 2009, in Urbana, Illinois.

"Relevance logic and the calculus of relations"

Pdf file used at the AMS meeting: "Relational relevance algebras"

Iowa State U., Discrete Mathematics Seminar, pdf files for talks given on 27 January 2009 and 3 February 2009---

"Edge-coloring problems", pdf, long version for presentation

"Edge-coloring problems", pdf, short version for printing

An old version of my Mathematical and Philosophical Genealogy: (a short .txt file)

Slides for a talk at Order, Algebras, and Logic 2007 (Vanderbilt University, June 2007):

"Relevance logic and the calculus of relations"

Slides for a talk at Relational Methods in Computer Science 2006 (Manchester, UK, September 2006)

"Finite symmetric integral relation algebras with no 3-cycles"

Experts on relation algebras may be able to decipher the data in these files:

102survey.pdf

198RAs.pdf

4329RAs.pdf

A long file about finite integral relation algebras with explanations as well as data:

fira.pdf

A paper by R.L.Kramer, called "Relativized relation algebras"

rel.dvi

Transparencies for a Seminar in Complex Adaptive Systems (Tuesday, February 19, 2002, 10:00-10:50 a.m., 209 Marston Hall) Title: The Bean Counter: a model of self-organized criticality. Abstract: The talk begins with an introduction to the theory of self-organized criticality, using quotations from Per Bak's 1996 book, called How Nature Works, and proceeds to a presentation of the bean counter. Slides for talk on self-organized criticality

A paper published online in SCIENCE: On the Distribution and Abundance of Species and available (from SCIENCE) as a pdf reprint.

Draft of a paper on nonrepresentable relation algebras generated by functional elements:

pdf.

postscript.

Draft of a paper for the Tarski 100th birthday conference, Warsaw, 28 May--1 June, 2001:

Brief history, pdf.

Brief history, postscript.

One-page hand-out for a combinatorics talk (suitable for undergraduate and graduate students): Coloring problems, pdf.

A paper written in 1996 by Richard L. Kramer shows that the Ramsey number R(3,3,3,3) is no more than 62, improving the previous best bound of 65.

Two versions: Kramer's paper, postscript. and Kramer's paper, pdf.

The origin of relation algebras in the development and axiomatization of the calculus of relations (dvi),

The origin of relation algebras in the development and axiomatization of the calculus of relations (ps)

The origin of relation algebras in the development and axiomatization of the calculus of relations (pdf from JSTOR)

Studia Logica 50 (3/4) 1991, 421--455.

Pair-dense relation algebras (dvi),

Pair-dense relation algebras (ps)

Transactions of the American Mathematical Society 328, 1991, 83--131.

Representations for small relation algebras (with H. Andreka) (dvi),

Representations for small relation algebras (with H. Andreka) (ps)

Representations for small relation algebras (with H. Andreka) (pdf from JSTOR)

Notre Dame Journal of Formal Logic 35, 1994, pp.550--562.

Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections (dvi),

Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections (ps)

Algebraic Logic (Proc. Conf. Budapest 1988), ed. by H. Andreka, J. D. Monk, and I. Nemeti, Colloq. Math. Soc. J. Bolyai, Vol. 54, North-Holland, Amsterdam, 1991, 361--392.

On the derivation of identities involving projection functions (dvi),

On the derivation of identities involving projection functions (ps)

Logic Colloquium'92, ed. Csirmaz, Gabbay, de Rijke, Center for the Study of Language and Information Publications, Stanford, 1995, pp. 145--163.

Finite integral relation algebras (dvI),

Finite integral relation algebras (ps)

Universal Algebra and Lattice Theory, Proceedings of the Southeastern Conference in Universal Algebra and Lattice Theory, July 11--14, 1984, Lecture Notes in Mathematics {\bf 1149}, Springer-Verlag, 1985, 175--197.

A perspective on the theory of relation algebras (dvi),

A perspective on the theory of relation algebras (ps)

Algebra Universalis 31, 1994, 456--465.

Relation-algebraic semantics (dvi),

Relation-algebraic semantics (ps)

This is an early version. A revised version appeared in Theoretical Computer Science, June 1996, vol. 160, pp.1-85.

The algebra of convex time intervals (with P.B. Ladkin) (ps)

Kestrel Institute Technical Report KES.U.87.2, March 1987, pp. 19.

The algebra of binary constraint networks (with P.B. Ladkin) (ps)

Kestrel Institute Technical Report KES.U.88.9, November 1988, pp.24.

On binary constraint problems (with P.B. Ladkin) (ps)

Journal of the Association for Computing Machinery 41, 1994, 435--469.

On binary constraint networks (with P.B. Ladkin) (ps)

Technical Report, Kestrel Institute, 1988, 76pp.

Some algebras and algorithms for reasoning about time and space (dvi),

Some algebras and algorithms for reasoning about time and space (ps)

These are unpublished versions from about 1990. A revised version of this paper appeared as "Relation algebras for reasoning about time and space", Algebraic Methodology and Software Technology (AMAST'93), Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993, Editors: M. Nivat, C. Rattray, T. Rus and G. Scollo, Springer-Verlag, London, Series: Workshops in Computing, 29--46. Here are postscript and pdf files of a prepublication version of this paper:

Relation Algebras for Reasoning about Time and Space (postscript)

Relation Algebras for Reasoning about Time and Space (pdf)