Maddux, R., "Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections ", in Algebraic Logic (Proc. Conf. Budapest 1988) ed. by H. Andreka, J. D. Monk, and I. Nemeti, Colloq. Math. Soc. J. Bolyai 54 North-Holland Amsterdam, 1991, 361--392. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Some Notes on Logic Programming with a Relational Machine.. - Lipton, Chapman (1998) (3 citations) (Correct)
....for in the absence of some computational paradigm and we thought it would help, at the start, to anchor such a system in logic programming inspired reductions. Work by the RUBY group at Oxford on hardware [BroHut, JonShe] and on program synthesis via relations by Bird and de Moor[Algebra] Maddux[Maddux, RelSem], Naumann [Naumann] and Backhouse [Backh] to name a few of the many researchers in this field, suggests that the relational paradigm can provide significant computational insights at almost every level of the field. Exploration via relations of possible connections between program synthesis ....
Maddux, R., "Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections ", in Algebraic Logic (Proc. Conf. Budapest 1988) ed. by H. Andreka, J. D. Monk, and I. Nemeti, Colloq. Math. Soc. J. Bolyai 54 North-Holland Amsterdam, 1991, 361--392.
A Crash Course in Arrow Logic - Venema (1997) (14 citations) (Correct)
....(x y) z = x;z y;z (RA2) x y) x y (RA4) x;y) z = x; y;z) RA5) x;1 = x (RA6) x) x (RA7) x;y) y;x (RA8) x; Gamma (x;y) Gammay: The class of relation algebras is denoted by RA. For an introduction to the theory of relation algebras we refer to J onsson [30, 31] or Maddux [41]. It soon turned out that the RA axioms do not exhaustively generate all valid principles governing binary relations, in other words: RA is only an approximation of RRA. In fact, RRA is not axiomatizable by a finite (purely equational) axiomatization, as was shown by Monk (cf. 49] This negative ....
R. Maddux, "Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections", in: [5], 361--192.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC