Roger D. Maddux

Affiliations: 
Iowa State University, Ames, IA, United States 
Area:
Mathematics
Google:
"Roger Maddux"
BETA: Related publications

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
See more...