Switch to: References

Add citations

You must login to add citations.
  1. B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.
    This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark