Switch to: References

Add citations

You must login to add citations.
  1. On Weak Lewis Distributive Lattices.Ismael Calomino, Sergio A. Celani & Hernán J. San Martín - forthcoming - Studia Logica:1-41.
    In this paper we study the variety \(\textsf{WL}\) of bounded distributive lattices endowed with an implication, called weak Lewis distributive lattices. This variety corresponds to the algebraic semantics of the \(\{\vee,\wedge,\Rightarrow,\bot,\top \}\) -fragment of the arithmetical base preservativity logic \(\mathsf {iP^{-}}\). The variety \(\textsf{WL}\) properly contains the variety of bounded distributive lattices with strict implication, also known as weak Heyting algebras. We introduce the notion of WL-frame and we prove a representation theorem for WL-lattices by means of WL-frames. We extended (...)
    Download  
     
    Export citation  
     
    Bookmark