Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski∗
arXiv:1509.03743v1 [math.LO] 12 Sep 2015 How many varieties of cylindric algebras
PDF) Some constructions of cylindric algebra theory applied to dynamic algebras of programs
Untitled
Terms in Cylindric Algebras
Monk, J. Donald 1930- (James Donald) [WorldCat Identities]
Journal Algebra Discrete Math. - Algebra and Discrete mathematics
Cylindric Set Algebras (Lecture Notes in Mathematics (883)): Henkin, L., Monk, J. D., Tarski, A., Andreka, H., Nemeti, I.: 9783540108818: Amazon.com: Books
Question about restricted/unrestricted formulas in Henkin, Monk, and Tarski's "Cylindric Algebras, Part II" - Mathematics Stack Exchange
9780444876799: Cylindric Algebras (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS) (Pt. 2) - AbeBooks - Henkin, Leon; Monk, J. Donald; Tarski, Alfred: 0444876790
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
ALGEBRAIC LOGIC WITH GENERALIZED QUANTIFIERS CHARLES C. PINTER 1 Introduction The notion of languages with generalized quantifie
Cylindric algebras. (Book, 1971) [WorldCat.org]
Cylindric Modal Logic
ON THE CATEGORICAL ALGEBRAS OF FIRST-ORDER LOGIC George Voutsadakis Received November 11, 2003 1 Introduction This paper continu
Mathematical Logic | J.D. Monk | Springer
Bare canonicity of representable cylindric and polyadic algebras – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Cylindric Algebras and Algebras of Substitutions
Untitled
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