Switch to: References

Add citations

You must login to add citations.
  1. Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.
    Contact algebra is one of the main tools in region-based theory of space. In it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices and structures, called distributive contact join-semilattices. We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS and of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations