On varieties of cylindric algebras with applications to logic

Annals of Pure and Applied Logic 36:235-277 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90019-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31:23-60.
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Varieties of quasi-Stone algebras.Hernando Gaitán - 2001 - Annals of Pure and Applied Logic 108 (1-3):229-235.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic.Tarek Sayed Ahmed - 2020 - Journal of Applied Non-Classical Logics 30 (3):223-271.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
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 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.

Analytics

Added to PP
2014-01-16

Downloads
38 (#596,272)

6 months
8 (#597,840)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.

View all 8 citations / Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Deux ou trois choses que je sais de ln.Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (3):641 - 658.

View all 12 references / Add more references