* connectedness/intuitionistic logic
@ 2001-02-27 22:31 paolo torrini
0 siblings, 0 replies; only message in thread
From: paolo torrini @ 2001-02-27 22:31 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2001-02-27 22:31 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-02-27 22:31 connectedness/intuitionistic logic paolo torrini
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).