Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Foreword<br />
Basic observations<br />
∇-algebras<br />
Lifting constructions on <strong>Chu</strong> spaces<br />
Vietoris endofunctor on Stone spaces<br />
Semantic equivalences<br />
The following semantic equivalences hold:<br />
✸ϕ ≡ ∇{ϕ, ⊤}<br />
✷ϕ ≡ ∇∅ ∨ ∇{ϕ}<br />
So ✷ <strong>and</strong> ✸ can be defined in terms of ∇.<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><br />
(1)
Change language