categories: connectedness/intuitionistic logic

[paolo torrini <paolot@comp.leeds.ac.uk>]

I am looking for information about work
on the representation of topological properties
(esp. connectedness) using intuitionistic logic.
I presently know about definitions of connectedness
in "Sheaves and Logic" (Fourman-Scott 79) and
"Formal spaces" (Fourman-Grayson 82). 

I would be interested in knowing whether there 
has been more work, esp. whether there
is something that may have some relation with 
discrete geometry.

Thank you for your help,

Paolo

-- 
Paolo Torrini
School of Computing 
Leeds 0113 233 5684