Roger Maddux
From Wikipedia, the free encyclopedia
Roger Maddux (born 1948) is an algebraist and logician currently tenured at Iowa State University. He was one of the last students of Alfred Tarski. Specifically, he works in relation algebras and cylindric algebras.
He is best known for his role in the invention of relational bases.[1][2]
His Erdős number is 2.
[edit] References
- ^ Hodkinson, Ian. Relational bases, relation algebra - cylindric algebra connections. Retrieved on 2007-03-03.
- ^ Maddux, Roger (1983). "A sequent calculus for relation algebras". Annals of Pure and Applied Logic 25: 73-101.
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
