| Autor: |
Celani, Sergio A., Menchón, Ma. Paula |
| Zdroj: |
Order; Nov2019, Vol. 36 Issue 3, p463-486, 24p |
| Abstrakt: |
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 {→, ∧, ⊤}-fragment of intuitionistic logic is the variety of implicative meet-semilattices (Chellas 1980; Hansen 2003). 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. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink