Abstract:
The dual spaces of the free distributive lattices with a quantifier are constructed, generalizing Halmos' construction of the dual spaces of free monadic Boolean algebras. © 1996 Kluwer Academic Publishers.
Referencias:
- Adams, M.E., Dziobiak, W., Quasivarieties of distributive lattices with a quantifier (1994) Discrete Math., 135, pp. 15-28
- Cignoli, R., Quantifiers on distributive lattices (1991) Discrete Math., 96, pp. 183-197
- Cignoli, R., Lafalce, S., Petrovich, A., Remarks on Priestley duality for distributive lattices (1991) Order, 8, pp. 299-315
- Halmos, P.R., Algebraic logic. I. Monadic Boolean algebras (1955) Compositio Math., 12, pp. 217-249. , Reproduced in [Chapter II, Halmos 1962]
- Halmos, P.R., Free monadic algebras (1959) Proc. Amer. Math.Soc., 10, pp. 219-227. , Reproduced in [Chapter V, Halmos 1962]
- Halmos, P.R., (1962) Algebraic Logic, , Chelsea, New York
- Henkin, L., Monk, J.D., Tarski, A., (1985) Cylindric Algebras. Part II, , North-Holland, Amsterdam
- Priestley, H.A., Representation of distributive lattices by means of ordered Stone spaces (1970) Bull. London Math. Soc., 2, pp. 186-190
- Priestley, H.A., Ordered topological spaces and the representation of distibutive lattices (1972) Proc. London Math. Soc., 4 (3), pp. 507-530
- Priestley, H.A., Ordered sets and duality for distributive lattices (1984) Ann. Discrete Math., 23, pp. 39-60. , North-Holland, Amsterdam
- Priestley, H.A., (1991) Natural Dualities for Varieties of Distributive Lattices with a Quantifier, , C. Rauszer (ed.), Proc. 38th. Banach Centre Semester on Algebraic Methods in Logic and their Computer Science Applications, Banach Centre Publications, 28, Warsaw
- Servi, M., Un'assiomatizzazione dei reticoli esistenziali (1979) Boll. Un. Mat. Ital., 16 (5), pp. 298-301
Citas:
---------- APA ----------
(1996)
. Free Q-distributive lattices. Studia Logica, 56(1-2), 23-29.
http://dx.doi.org/10.1007/BF00370139---------- CHICAGO ----------
Cignoli, R.
"Free Q-distributive lattices"
. Studia Logica 56, no. 1-2
(1996) : 23-29.
http://dx.doi.org/10.1007/BF00370139---------- MLA ----------
Cignoli, R.
"Free Q-distributive lattices"
. Studia Logica, vol. 56, no. 1-2, 1996, pp. 23-29.
http://dx.doi.org/10.1007/BF00370139---------- VANCOUVER ----------
Cignoli, R. Free Q-distributive lattices. Stud. Logica. 1996;56(1-2):23-29.
http://dx.doi.org/10.1007/BF00370139