Switch to: References

Add citations

You must login to add citations.
  1. On the variety of strong subresiduated lattices.Sergio Celani & Hernán J. San Martín - 2023 - Mathematical Logic Quarterly 69 (2):207-220.
    A subresiduated lattice is a pair, where A is a bounded distributive lattice, D is a bounded sublattice of A and for every there exists the maximum of the set, which is denoted by. This pair can be regarded as an algebra of type (2, 2, 2, 0, 0), where. The class of subresiduated lattices is a variety which properly contains the variety of Heyting algebras. In this paper we study the subvariety of subresiduated lattices, denoted by, whose members satisfy (...)
    Download  
     
    Export citation  
     
    Bookmark