Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Foreword<br />
Basic observations<br />
∇-algebras<br />
Lifting constructions on <strong>Chu</strong> spaces<br />
Vietoris endofunctor on Stone spaces<br />
The <strong>Nabla</strong> operator, semantically<br />
S Kripke structure with accessibility relation σ : S → P(S):<br />
Aless<strong>and</strong>ra Palmigiano (joint work with Yde Venema) <strong>Nabla</strong> <strong>Algebras</strong> <strong>and</strong> <strong>Chu</strong> <strong>Spaces</strong>