Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
  • Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark   113 citations  
  • Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
    The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations