PDF) Epimorphisms in cylindric algebras and definability in finite variable logic
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski∗
Terms in Cylindric Algebras
Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras
Journal Algebra Discrete Math. - Algebra and Discrete mathematics
A formalization of logic in diagonal-free cylindric algebras
Reducing first-order logic to Df3, free algebras.
Donald Monk. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 (1961), pp. 1447–1457. | The Journal of Symbolic Logic | Cambridge Core
Untitled
ON CANONICITY AND COMPLETIONS OF WEAKLY REPRESENTABLE RELATION ALGEBRAS §1. Introduction. The aim of this paper is to show that
ALGEBRAIC LOGIC WITH GENERALIZED QUANTIFIERS CHARLES C. PINTER 1 Introduction The notion of languages with generalized quantifie
Cylindric Set Algebras (Lecture Notes in Mathematics (883)): Henkin, L., Monk, J. D., Tarski, A., Andreka, H., Nemeti, I.: 9783540108818: Amazon.com: Books
Mathematical Logic | J.D. Monk | Springer
Weakly higher order cylindric algebras and finite axiomatization of the representables
Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147): Hirsch, Robin, Hodkinson, Ian: 9780444509321: Amazon.com: Books
PDF) On the structure of Lindenbaum algebras: an approach using algebraic logic
Untitled
Question about restricted/unrestricted formulas in Henkin, Monk, and Tarski's "Cylindric Algebras, Part II" - Mathematics Stack Exchange
Cylindric algebras. (Book, 1971) [WorldCat.org]
PDF) Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508
Cylindric-like Algebras and Algebraic Logic | Hajnal Andréka | Springer
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables