Contact semilattices

Logic Journal of the IGPL 32 (5):815-826 (2024)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logics for extended distributive contact lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Hypercontact semilattices.Paolo Lipparini - 2025 - Journal of Applied Non-Classical Logics 35 (2):189-214.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Finiteness conditions and distributive laws for Boolean algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.

Analytics

Added to PP
2023-08-30

Downloads
68 (#875,641)

6 months
7 (#1,440,276)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hypercontact semilattices.Paolo Lipparini - 2025 - Journal of Applied Non-Classical Logics 35 (2):189-214.

Add more citations