- Tytuł:
- Hilbert algebras with a necessity modal operator
- Autorzy:
-
Celani, Sergio A.
Montangie, Daniela - Powiązania:
- https://bibliotekanauki.pl/articles/1368664.pdf
- Data publikacji:
- 2014
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Opis:
- We introduce the variety of Hilbert algebras with a modal operator $\square$, called $H\square$-algebras. The variety of $H\square$-algebras is the algebraic counterpart of the $\{ \rightarrow, \square \}$-fragment of the intuitionitic modal logic $\bb{IntK}_square$. We will study the theory of representation and we will give a topological duality for the variety of $\square$, called $H\square$-algebras. We are going to use these results to prove that the basic implicative modal logic $\bb{IntK}_square^rightarrow$ and some axiomatic extensions are canonical. We shall also to determine the simple and subdirectly irreducible algebras in some subvarieties of $H\square$-algebras.
- Źródło:
-
Reports on Mathematical Logic; 2014, 49; 47-77
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł