Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Paula Menchón"'
Publikováno v:
Applied Categorical Structures. 30:1257-1282
In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in \cite{Celani2020} for semilattices together with a topological description of their canonical extension. As an application of this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0f428f3d0ae11afe4607aa1a96157eb
https://doi.org/10.1007/s10485-022-09690-0
https://doi.org/10.1007/s10485-022-09690-0
Autor:
Rafał Gruszczyński, Paula Menchón
One of the standard axioms for Boolean contact algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23493993aa20fe4c2319e8c45feeb954
http://repozytorium.umk.pl/handle/item/6887
http://repozytorium.umk.pl/handle/item/6887
Autor:
Paula Menchón, Sergio Arturo Celani
Publikováno v:
Archive for Mathematical Logic. 60:857-877
Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb7c3a0fd37bfe0e3bfa38c6fe953d12
https://doi.org/10.1007/s00153-021-00764-9
https://doi.org/10.1007/s00153-021-00764-9
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c61f63ae462b5d3126e170fd780f09df
https://doi.org/10.1007/s11083-018-9477-0
https://doi.org/10.1007/s11083-018-9477-0
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::554ad63d537d2e30034f83a7a04338ed
http://hdl.handle.net/11365/1200188
http://hdl.handle.net/11365/1200188
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Communications in Computer and Information Science
Communications in Computer and Information Science-Information Processing and Management of Uncertainty in Knowledge-Based Systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783031089701
Springer
Communications in Computer and Information Science-Information Processing and Management of Uncertainty in Knowledge-Based Systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783031089701
Springer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efffa14f2d50c628932ee0916873e94d