Hypercontact semilattices

DOI10.1080/11663081.2025.2452738MaRDI QIDQ6956468zbMATH OpenFDO

Authors Paolo Lipparini

Publication date 18 July 2025

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2025.2452738

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semilattices (06A12) Ordered structures (06F99) Proximity structures and generalizations (54E05)

Cites work

• A mereotopology based on sequent algebras
• A strict implication calculus for compact Hausdorff spaces
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Algebras defined from ordered sets and the varieties they generate
• Applications of near sets
• Beyond Topology
• Causality in physics and computation
• Configuration structures, event structures and Petri nets
• Contact join-semilattices
• Contact semilattices
• Continuous Lattices and Domains
• Directoids. An algebraic approach to ordered sets
• Distributive contact lattices: topological representations
• scientific article; zbMATH DE number 6006014 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 43754 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1234397 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• scientific article; zbMATH DE number 2229025 (Why is no real title available?)
• scientific article; zbMATH DE number 5182234 (Why is no real title available?)
• Median graphs, parallelism and posets
• Medians in median graphs and their cube complexes in linear time
• Networks beyond pairwise interactions: structure and dynamics
• On geometric representations of modular ortholattices
• Petri nets, event structures and domains. I
• Precontact relations and quasi-modal operators in Boolean algebras
• Proximity: a powerful tool in extension theory, function spaces, hyperspaces, boolean algebras and point-free geometry
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Relational Methods in Computer Science
• Semilattice structures.
• Simplicial complexes of graphs
• The variety generated by order algebras.
• Topics in Intersection Graph Theory
• Topological representation of precontact algebras and a connected version of the Stone duality theorem. II.
• Topology, connectedness, and modal logic

Cited in

(1)

• Ivanova contact join-semilattices are not finitely axiomatizable

This page was built for publication: Hypercontact semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6956468)