W. Peremans. Embedding of a distributive lattice in a boolean algebra. Indag. Math. 19, pages 73-81, 1957. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Entailment Relations and Distributive Lattices - Cederquist, Coquand (1998) (2 citations) (Correct)
....is actually equivalent to f 0 i = g: As an application of theorem 3 we get the following result. Corollary 12. If B; i : D B is the boolean algebra generated by a distributive lattice D we have a b in D iff i(a) i(b) in B: The reader can compare this construction with the ones in [Mac37, Mac39, Per57]. Remark. If D is generated by an entailment relation S 0 ; another entailment relation generating B is given by the set of elements x 2 S 0 or x for x 2 S 0 with the entailment relation: x i ; y j z k ; t l iff x i ; t l y j ; z k in S 0 . 4.4 Dimension of Lattices A. Joyal has ....
W. Peremans. Embedding of a distributive lattice in a boolean algebra. Indag. Math. 19, pages 73--81, 1957.
Entailment Relations and Distributive Lattices - Cederquist, Coquand (1998) (2 citations) (Correct)
No context found.
W. Peremans. Embedding of a distributive lattice in a boolean algebra. Indag. Math. 19, pages 73-81, 1957.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC