A formalization of logic in diagonal-free cylindric algebras
Mathematical Logic
PDF) Epimorphisms in cylindric algebras and definability in finite variable logic
Reducing first-order logic to Df3, free algebras.
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
Terms in Cylindric Algebras
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
ON UNIVERSAL ALGEBRAIC LOGIC AND CYLINDRIC ALGEBRAS
Cylindric Modal Logic
Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147): Hirsch, Robin, Hodkinson, Ian: 9780444509321: Amazon.com: Books
ON THE CATEGORICAL ALGEBRAS OF FIRST-ORDER LOGIC George Voutsadakis Received November 11, 2003 1 Introduction This paper continu
Mathematical Logic
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
1. Introduction
Cylindric Modal Logic
ON CANONICITY AND COMPLETIONS OF WEAKLY REPRESENTABLE RELATION ALGEBRAS §1. Introduction. The aim of this paper is to show that
Untitled
9780444876799: Cylindric Algebras (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS) (Pt. 2) - AbeBooks - Henkin, Leon; Monk, J. Donald; Tarski, Alfred: 0444876790
Untitled
Cylindric Set Algebras (Lecture Notes in Mathematics (883)): Henkin, L., Monk, J. D., Tarski, A., Andreka, H., Nemeti, I.: 9783540108818: Amazon.com: Books
PDF) Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections
PDF) On the structure of Lindenbaum algebras: an approach using algebraic logic
ALGEBRAIC LOGIC WITH GENERALIZED QUANTIFIERS CHARLES C. PINTER 1 Introduction The notion of languages with generalized quantifie
