Ivanova contact join-semilattices are not finitely axiomatizable

Logic Journal of the IGPL 33 (3) (2025)
  Copy   BIBTEX

Abstract

We show that the class of contact join-semilattices introduced by Ivanova (Contact join-semilattices. Stud Log 2022;110:1219–41) is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the class of those join-semilattices with a weak contact relation, which can be embedded into the reduct of a weak contact Boolean algebra (equivalently, distributive lattice).

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

Contact semilattices.Paolo Lipparini - 2024 - Logic Journal of the IGPL 32 (5):815-826.
Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.
Pseudo-BCH Semilattices.Andrzej Walendziak - 2018 - Bulletin of the Section of Logic 47 (2):117.
An algebra of subsets for join-semilattices with unit.Boguslaw Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (1):1-3.
An algebra of subsets for join-semilattices with unit.Bogus law Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (1):1-3.
Hypercontact semilattices.Paolo Lipparini - 2025 - Journal of Applied Non-Classical Logics 35 (2):189-214.
Entailments and Independence in Join-Semilattices.B. Wolniewicz - 1989 - Bulletin of the Section of Logic 18:1.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.

Analytics

Added to PP
2025-03-24

Downloads
54 (#1,105,913)

6 months
8 (#1,346,238)

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

References found in this work

Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.
Hypercontact semilattices.Paolo Lipparini - 2025 - Journal of Applied Non-Classical Logics 35 (2):189-214.
Contact semilattices.Paolo Lipparini - 2024 - Logic Journal of the IGPL 32 (5):815-826.

View all 8 references / Add more references