The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free S4-algebras.
Continuity, freeness, and filtrations / S. Ghilardi. - In: JOURNAL OF APPLIED NON-CLASSICAL LOGICS. - ISSN 1166-3081. - 20:3(2010), pp. 193-217. [10.3166/JANCL.20.193-217]
Continuity, freeness, and filtrations
S. GhilardiPrimo
2010
Abstract
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free S4-algebras.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.