Roger Maddux

From Wikipedia, the free encyclopedia

Roger Maddux (born 1948) is an American mathematician specializing in algebraic logic.

He completed his B.A. at Pomona College in 1969, and his Ph.D. in mathematics at the University of California in 1978, where he was one of Alfred Tarski's last students. His career has been at Iowa State University, where he fills a joint appointment in computer science and mathematics.

Maddux is primarily known for his work in relation algebras and cylindric algebras, and as the inventor of relational bases.[1][2]

His Erdős number is 2.

[edit] References

  1. ^ Hodkinson, Ian. Relational bases, relation algebra - cylindric algebra connections. Retrieved on 2007-03-03.
  2. ^ Maddux, Roger (1983). "A sequent calculus for relation algebras". Annals of Pure and Applied Logic 25: 73–101. doi:10.1016/0168-0072(83)90055-6. 

[edit] Books by Maddux

  • 2006. Relation Algebras, vol. 150 in Studies in Logic and the Foundations of Mathematics. Elsevier Science

[edit] External links

This article about a mathematician is a stub. You can help Wikipedia by expanding it.