Switch to: References

Add citations

You must login to add citations.
  1. Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
    We present dualities for implicative and residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article contributes in filling in a gap in the development of Orłowska and Rewitzky’s research program of discrete dualities, which seemed to have stumbled on the case of non-distributive lattices with operators. We discuss dualities via truth, which are essential in relating the non-distributive logic of two-sorted frames with their sorted, residuated modal logic, as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation