Work

Ivanova contact join-semilattices are not finitely axiomatizable

Year: 2025

Type: article

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).

Source: Logic Journal of IGPL

DOI: 10.1093/jigpal/jzaf008

Author: Paolo Lipparini

Institution: University of Rome Tor Vergata

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Ministero dell’Istruzione, dell’Università e della Ricerca, Università degli Studi di Roma Tor Vergata

Awards: G2376554022, G2806466947, G689437076, G750202414