Roger Maddux
Jump to navigation
Jump to search
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, Berkeley 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]
Books by Maddux
- 1990: (with Clifford H. Bergman & Don L. Pigozzi, editors) Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science #425, Springer books
- 2006: Relation Algebras, vol. 150 in Studies in Logic and the Foundations of Mathematics. Elsevier Science
Notes
- ^ Hodkinson, Ian. "Relational bases, relation algebra - cylindric algebra connections". Retrieved 2007-03-03.
- ^ 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.
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NLA identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- 1948 births
- 20th-century American mathematicians
- 21st-century American mathematicians
- Pomona College alumni
- All stub articles
- American mathematician stubs