Roger D. Maddux
Affiliations: | Iowa State University, Ames, IA, United States |
Area:
MathematicsGoogle:
"Roger Maddux"Children
Sign in to add traineeJeremy F. Alm | grad student | 2006 | Iowa State |
Andrew J. Ylvisaker | grad student | 2012 | Iowa State |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Kramer RL, Maddux RD. (2020) Relation algebras of Sugihara, Belnap, Meyer, and Church The Journal of Logic and Algebraic Programming. 100604 |
Alm JF, Maddux RD. (2018) Finite representations for two small relation algebras Algebra Universalis. 79: 1-4 |
Kramer RL, Maddux RD. (2018) An error in a proof in Boolean Algebras with Operators, Part I Algebra Universalis. 79: 1-5 |
Maddux RD. (2018) Subcompletions of representable relation algebras Algebra Universalis. 79: 20 |
Alm JF, Hirsch R, Maddux RD. (2016) There Is No Finite-Variable Equational Axiomatization Of Representable Relation Algebras Over Weakly Representable Relation Algebras Review of Symbolic Logic. 9: 511-521 |
Maddux RD. (2014) Arrow's Theorem for incomplete relations The Journal of Logic and Algebraic Programming. 83: 235-248 |
Hirsch R, Hodkinson IM, Maddux RD. (2011) Weak representations of relation algebras and relational bases Journal of Symbolic Logic. 76: 870-882 |
Maddux RD. (2010) Relevance Logic And The Calculus Of Relations Review of Symbolic Logic. 3: 41-70 |
Bimbó K, Dunn JM, Maddux RD. (2009) Relevance Logics And Relation Algebras Review of Symbolic Logic. 2: 102-131 |
Alm JF, Maddux RD, Manske J. (2008) Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture Electronic Journal of Combinatorics. 15: 49 |