Switch to: References

Add citations

You must login to add citations.
  1. Lattice Logic as a Fragment of Residuated Modal Logic.Chrysafis Hartonas - 2018 - Journal of Applied Non-Classical Logics 29 (2):152-170.
    ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation. If the underlying set of the frame is split into two components,, and, then frames are at the same time the basis for models of non-distributive lattice logic and of two-sorted, residuated modal logic. This suggests that (...)
    Direct download (5 more)  
    Export citation