- Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.details
|
|
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Nonfinitizability of classes of representable cylindric algebras.J. Donald Monk - 1969 - Journal of Symbolic Logic 34 (3):331-343.details
|
|
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.details
|
|
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.details
|
|
On the Representation Theory for Cylindric Algebras.Donald Monk - 1962 - Journal of Symbolic Logic 27 (2):233-234.details
|
|
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.details
|
|
[Omnibus Review].R. D. Maddux - 2001 - Bulletin of Symbolic Logic 7 (2):281-283.details
|
|
(1 other version)Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.details
|
|
Axiomatising Various Classes of Relation and Cylindric Algebras.Robin Hirsch & Ian Hodkinson - 1997 - Logic Journal of the IGPL 5 (2):209-229.details
|
|
(1 other version)Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.details
|
|
(1 other version)Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.details
|
|
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.details
|
|
(1 other version)Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.details
|
|
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.details
|
|
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.details
|
|
(1 other version)Review: Bjarni Jonsson, Defining Relations for Full Semigroups of Finite Transformations. [REVIEW]Donald Monk - 1969 - Journal of Symbolic Logic 34 (3):513-513.details
|
|
On Representable Relation Algebras.Donald Monk - 1966 - Journal of Symbolic Logic 31 (3):508-508.details
|
|
The Representation of Relational Algebras.Roger C. Lyndon - 1951 - Journal of Symbolic Logic 16 (4):279-280.details
|
|
Relation algebras with n-dimensional relational bases.Robin Hirsch & Ian Hodkinson - 2000 - Annals of Pure and Applied Logic 101 (2-3):227-274.details
|
|
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.details
|
|