Year |
Citation |
Score |
2020 |
Kramer RL, Maddux RD. Relation algebras of Sugihara, Belnap, Meyer, and Church The Journal of Logic and Algebraic Programming. 100604. DOI: 10.1016/J.Jlamp.2020.100604 |
0.516 |
|
2018 |
Alm JF, Maddux RD. Finite representations for two small relation algebras Algebra Universalis. 79: 1-4. DOI: 10.1007/S00012-018-0570-4 |
0.664 |
|
2018 |
Kramer RL, Maddux RD. An error in a proof in Boolean Algebras with Operators, Part I Algebra Universalis. 79: 1-5. DOI: 10.1007/S00012-018-0520-1 |
0.314 |
|
2018 |
Maddux RD. Subcompletions of representable relation algebras Algebra Universalis. 79: 20. DOI: 10.1007/S00012-018-0493-0 |
0.574 |
|
2016 |
Alm JF, Hirsch R, Maddux RD. There Is No Finite-Variable Equational Axiomatization Of Representable Relation Algebras Over Weakly Representable Relation Algebras Review of Symbolic Logic. 9: 511-521. DOI: 10.1017/S1755020316000265 |
0.549 |
|
2014 |
Maddux RD. Arrow's Theorem for incomplete relations The Journal of Logic and Algebraic Programming. 83: 235-248. DOI: 10.1016/J.Jlap.2014.02.012 |
0.361 |
|
2011 |
Hirsch R, Hodkinson IM, Maddux RD. Weak representations of relation algebras and relational bases Journal of Symbolic Logic. 76: 870-882. DOI: 10.2178/Jsl/1309952524 |
0.545 |
|
2010 |
Maddux RD. Relevance Logic And The Calculus Of Relations Review of Symbolic Logic. 3: 41-70. DOI: 10.1017/S1755020309990293 |
0.418 |
|
2009 |
Bimbó K, Dunn JM, Maddux RD. Relevance Logics And Relation Algebras Review of Symbolic Logic. 2: 102-131. DOI: 10.1017/S1755020309090145 |
0.469 |
|
2008 |
Alm JF, Maddux RD, Manske J. Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture Electronic Journal of Combinatorics. 15: 49. DOI: 10.37236/773 |
0.63 |
|
2006 |
Maddux RD. Eric Schechter. Classical and nonclassical logic: an introduction to the mathematics of propositions . Princeton University Press, Princeton and Oxford, 2005, x + 507 pp. The Bulletin of Symbolic Logic. 12: 308-309. DOI: 10.1017/S1079898600002791 |
0.325 |
|
2006 |
Maddux RD. Finite symmetric integral relation algebras with no 3-cycles Lecture Notes in Computer Science. 2-29. DOI: 10.1007/11828563_2 |
0.545 |
|
2005 |
Maddux RD. Nonrepresentable relation algebras generated by functional elements Algebra Universalis. 52: 155-165. DOI: 10.1007/S00012-004-1842-8 |
0.419 |
|
2004 |
Maddux RD. Finite, integral, and finite-dimensional relation algebras: a brief history Annals of Pure and Applied Logic. 127: 117-130. DOI: 10.1016/J.Apal.2003.11.011 |
0.503 |
|
2003 |
Maddux RD. Review: Relation algebras by games Robin Hirsch, Ian Hodkinson Relation algebras by games Logic Journal of the Igpl. 11: 577-581. DOI: 10.1093/Jigpal/11.5.577 |
0.421 |
|
2003 |
Maddux RD. Robin Hirsch and Ian Hodkinson. Relation algebras by games . Elsevier, Amsterdam, 2002, xviii + 691 pp. The Bulletin of Symbolic Logic. 9: 515-520. DOI: 10.1017/S1079898600004339 |
0.428 |
|
2002 |
Hirsch R, Hodkinson IM, Maddux RD. Relation algebra reducts of cylindric algebras and an application to proof theory Journal of Symbolic Logic. 67: 197-213. DOI: 10.2178/Jsl/1190150037 |
0.504 |
|
2002 |
Hirsch R, Hodkinson IM, Maddux RD. Provability with Finitely Many Variables The Bulletin of Symbolic Logic. 8: 348-379. DOI: 10.2178/Bsl/1182353893 |
0.338 |
|
2001 |
Frias MF, Maddux RD. Completeness of a relational calculus for program schemes Theoretical Computer Science. 254: 543-556. DOI: 10.1016/S0304-3975(99)00343-6 |
0.301 |
|
1997 |
Frias MF, Maddux RD. Non-embeddable simple relation algebras Algebra Universalis. 38: 115-135. DOI: 10.1007/S000120050041 |
0.513 |
|
1996 |
Maddux RD. Relation-algebraic semantics Theoretical Computer Science. 160: 1-85. DOI: 10.1016/0304-3975(95)00082-8 |
0.453 |
|
1995 |
Jipsen P, Maddux RD, Tuza Z. Small representations of the relation algebra ɛn+1(1, 2, 3) Algebra Universalis. 33: 136-139. DOI: 10.1007/Bf01190770 |
0.467 |
|
1995 |
Jipsen P, Kramer RL, Maddux RD. Total tense algebras and symmetric semiassociative relation algebras Algebra Universalis. 34: 404-423. DOI: 10.1007/Bf01182096 |
0.365 |
|
1994 |
Maddux RD. Undecidable semiassociative relation algebras Journal of Symbolic Logic. 59: 398-418. DOI: 10.2307/2275397 |
0.515 |
|
1994 |
Andréka H, Maddux RD. Representations for Small Relation Algebras Notre Dame Journal of Formal Logic. 35: 550-562. DOI: 10.1305/Ndjfl/1040408612 |
0.56 |
|
1994 |
Ladkin PB, Maddux RD. On binary constraint problems Journal of the Acm. 41: 435-469. DOI: 10.1145/176584.176585 |
0.455 |
|
1994 |
Maddux RD. A perspective on the theory of relation algebras Algebra Universalis. 31: 456-465. DOI: 10.1007/Bf01221799 |
0.394 |
|
1993 |
Maddux RD. Finitary algebraic logic II Mathematical Logic Quarterly. 39: 566-569. DOI: 10.1002/Malq.19930390159 |
0.318 |
|
1992 |
Maddux RD. Relation Algebras Of Every Dimension Journal of Symbolic Logic. 57: 1213-1229. DOI: 10.2307/2275365 |
0.396 |
|
1991 |
Maddux RD. Pair-dense relation algebras Transactions of the American Mathematical Society. 328: 83-131. DOI: 10.1090/S0002-9947-1991-1049616-1 |
0.55 |
|
1991 |
Maddux RD. The origin of relation algebras in the development and axiomatization of the calculus of relations Studia Logica. 50: 421-455. DOI: 10.1007/Bf00370681 |
0.453 |
|
1990 |
Maddux RD. Necessary subalgebras of simple nonintegral semiassociative relation algebras Algebra Universalis. 27: 544-558. DOI: 10.1007/Bf01188999 |
0.565 |
|
1990 |
Maddux RD. A relation algebra which is not a cylindric reduct Algebra Universalis. 27: 279-288. DOI: 10.1007/Bf01182461 |
0.475 |
|
1989 |
Maddux RD. Nonfinite axiomatizability results for cylindric and relation algebras Journal of Symbolic Logic. 54: 951-974. DOI: 10.2307/2274756 |
0.555 |
|
1989 |
Maddux RD. Finitary Algebraic Logic Mathematical Logic Quarterly. 35: 321-332. DOI: 10.1002/Malq.19890350405 |
0.457 |
|
1988 |
Maddux RD. Henkin Leon, Monk J. Donald, and Tarski Alfred. Cylindric algebras. Part II . Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp. Journal of Symbolic Logic. 53: 651-653. DOI: 10.1017/S0022481200028590 |
0.352 |
|
1983 |
Maddux RD. A sequent calculus for relation algebras Annals of Pure and Applied Logic. 25: 73-101. DOI: 10.1016/0168-0072(83)90055-6 |
0.303 |
|
1982 |
Maddux R. Some varieties containing relation algebras Transactions of the American Mathematical Society. 272: 501-526. DOI: 10.1090/S0002-9947-1982-0662049-7 |
0.455 |
|
1982 |
Kramer R, Maddux R. Equations not preserved by complete extensions Algebra Universalis. 15: 86-89. DOI: 10.1007/Bf02483710 |
0.404 |
|
1981 |
Maddux R. Embedding modular lattices into relation algebras Algebra Universalis. 12: 242-246. DOI: 10.1007/Bf02483882 |
0.49 |
|
1980 |
Maddux RD. The equational theory of CA 3 is undecidable Journal of Symbolic Logic. 45: 311-316. DOI: 10.2307/2273191 |
0.38 |
|
Show low-probability matches. |