论文信息 - Free Q-distributive lattices from meet semilattices

Free Q-distributive lattices from meet semilattices

Abstract In this paper we provide an explicit construction of the free Q-distributive lattice generated by a finite partially ordered set. The starting point is the construction of the free meet semilattice over a poset given by Horn and Kimura (Algebra Universalis 1 (1971) 26–38).

Manuel Abad | J. Patricio Díaz Varela | M. Abad | J. D. Varela

[1] Roberto Cignoli,et al. Free Q-distributive lattices , 1996, Stud Logica.

[2] Alfred Horn,et al. The category of semilattices , 1971 .

[3] Wieslaw Dziobiak,et al. Quasivarieties of distributive lattices with a quantifier , 1994, Discret. Math..

[4] Paul R. Halmos,et al. Algebraic logic, I. Monadic boolean algebras , 1956 .

[5] Alejandro Petrovich. Equations in the theory of Q-distributive lattices , 1997, Discret. Math..

[6] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .

[7] Brian A. Davey,et al. The freep-algebra generated by a distributive lattice , 1980 .

[8] Roberto Cignoli. Quantifiers on distributive lattices , 1991, Discret. Math..

[9] 李幼升,et al. Ph , 1989 .

[10] Algebraic logic , 1985, Problem books in mathematics.

[11] Bjarni Jónsson,et al. Arithmetic of Ordered Sets , 1982 .

[12] Hilary A. Priestley. Natural dualities for varieties of distributive lattices with a quantifier , 1993 .

[13] Manuel Abad,et al. Free double Ockham algebras , 1999, J. Appl. Non Class. Logics.