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 />
∇-algebras, Boolean case<br />
A = 〈A, ∧, ∨, ⊤, ⊥, ¬, ∇〉 is a modal ∇-algebra if<br />
its ∇-free reduct is a BA<br />
it satisfies ∇1 – ∇6 (or equivalently ∇1, ∇2 ′ , ∇3 ′ ),<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>