论文信息 - Complete representations in algebraic logic

Complete representations in algebraic logic

A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any xed dimension are elementary.

Ian M. Hodkinson | Robin Hirsch | I. Hodkinson | R. Hirsch

[1] Yde Venema,et al. Many-dimensional Modal Logic , 1991 .

[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[3] Ian M. Hodkinson,et al. Step by step – Building representations in algebraic logic , 1997, Journal of Symbolic Logic.

[4] R. McKenzie. Representations of integral relation algebras. , 1970 .

[5] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..

[6] R. Lyndon. THE REPRESENTATION OF RELATION ALGEBRAS, II , 1956 .

[7] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .

[8] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[9] Roger D. Maddux,et al. Nonfinite axiomatizability results for cylindric and relation algebras , 1989, Journal of Symbolic Logic.

[10] Robin Hirsch. Completely Representable Relation Algebras , 1995, Log. J. IGPL.

[11] J. Donald Monk. Lectures on cylindric set algebras , 1993 .

[12] R. Maddux. Some varieties containing relation algebras , 1982 .

[13] A. Tarski,et al. Cylindric Algebras. Part II , 1988 .

[14] R. Lyndon. THE REPRESENTATION OF RELATIONAL ALGEBRAS , 1950 .

[15] M. Stone. The theory of representations for Boolean algebras , 1936 .

[16] maarten marx. Algebraic Relativization and Arrow Logic , 1995 .