A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Nabla Algebras and Chu Spaces
[chapter]
Algebra and Coalgebra in Computer Science
This paper is a study into some properties and applications of Moss' coalgebraic or 'cover' modality ∇. First we present two axiomatizations of this operator, and we prove these axiomatizations to be sound and complete with respect to basic modal and positive modal logic, respectively. More precisely, we introduce the notions of a modal ∇-algebra and of a positive modal ∇-algebra. We establish a categorical isomorphism between the category of modal ∇algebra and that of modal algebras, and
doi:10.1007/978-3-540-73859-6_27
dblp:conf/calco/PalmigianoV07
fatcat:dpjgsz5inva77npdcgr7xg5nwy