Switch to: References

Citations of:

Contact Join-semilattices

Studia Logica 110 (5):1219-1241 (2022)

Add citations

You must login to add citations.
  1. A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.
    An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation \( \sqsubseteq (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Contact semilattices.Paolo Lipparini - forthcoming - Logic Journal of the IGPL.
    We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation. A similar characterization is proved with respect to Boolean algebras and distributive lattices with weak contact, not necessarily additive, nor overlap.
    Download  
     
    Export citation  
     
    Bookmark