Abstract
Cylindric algebras stand in the same relationship to first-order logic as Boolean algebras stand to sentential logic. We present in this chapter an introduction to the theory of these algebras paralleling our treatment of Boolean algebras.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Halmos, P. R. Algebraic Logic. New York: Chelsea (1962).
Henkin, L., and Tarski, A. Cylindric algebras. In Proc. Symp. Pure Math. (AMS), 2 (1961), 83–113.
Henkin, L., Monk, J. D., and Tarski, A. Cylindric Algebras, Part I. Amsterdam: North-Holland (1971).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Inc.
About this chapter
Cite this chapter
Monk, J.D. (1976). Cylindric Algebras. In: Mathematical Logic. Graduate Texts in Mathematics, vol 37. Springer, New York, NY. https://doi.org/10.1007/978-1-4684-9452-5_13
Download citation
DOI: https://doi.org/10.1007/978-1-4684-9452-5_13
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4684-9454-9
Online ISBN: 978-1-4684-9452-5
eBook Packages: Springer Book Archive