Monotonic distributive semilattices

DOI10.1007/S11083-018-9477-0MaRDI QIDQ2279678zbMATH OpenOpenAlexWikidataFDO

Authors Ma. Paula Menchón, Sergio A. Celani

Publication date 13 December 2019

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.08585, http://hdl.handle.net/11336/96559

zbMATH Keywords

\textit{DS}-spacesdistributive meet semilatticesmodal operatorsmonotonic modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Semilattices (06A12) Structure and representation theory of distributive lattices (06D05) Other generalizations of distributive lattices (06D75)

Abstract: In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $ightarrow,wedge,op$-fragment of intuitionistic logic is the variety of implicative meet-semilattices cite{CelaniImplicative} cite{ChajdaHalasKuhr}. In this paper we introduce and study the class of distributive meet-semilattices endowed with a monotonic modal operator $m$. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality for them. Also, we show how our new duality extends to some particular subclasses.

Recommendations

• Monadic Distributive Lattices
• scientific article; zbMATH DE number 522811
• scientific article; zbMATH DE number 55888
• Finite distributive semilattices
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications
• scientific article; zbMATH DE number 828249
• On distributive \(l\)-semilattices
• Distributive pseudocomplemented semilattices
• scientific article; zbMATH DE number 3853154

Cites work

• Boolean Algebras with Operators. Part I
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions, Esakia spaces, and universal models
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• Monotone bounded distributive lattice expansions
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Relational and neighborhood semantics for intuitionistic modal logic
• Representation of Hilbert algebras and implicative semilattices
• Semilattice structures.
• Some remarks on distributive semilattices
• Structures with multirelations, their discrete dualities and applications
• Theory and Applications of Relational Structures as Knowledge Instruments
• Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator

Cited in

(7)

• A topological duality for monotone expansions of semilattices
• Monotonic modal logics with a conjunction
• scientific article; zbMATH DE number 3853154 (Why is no real title available?)
• Modal meet-implication logic
• Semilattice structures.
• A Stone-type duality for semilattices with adjunctions
• Conditional algebras

This page was built for publication: Monotonic distributive semilattices

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