论文信息 - Finitary Algebraic Logic - 字舞流文

Finitary Algebraic Logic

Roger D. Maddux

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

[2] A. Tarski,et al. Boolean Algebras with Operators , 1952 .

[3] Roger D. Maddux,et al. Some sufficient conditions for the representability of relation algebras , 1978 .

[4] J. Donald Monk,et al. On an Algebra of Sets of Finite Sequences , 1970, J. Symb. Log..

[5] D. Monk. On representable relation algebras. , 1964 .