Re: Multiple Truth Values

Article View: sci.logic

Article #636

#636

From: Angus H Rodgers
Date: Mon, 11 Jan 1993 19:47

20 lines
1421 bytes

In <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:

>(I hope you can see my tongue sticking well into my
>cheek.)

Thanks to the telescope which you have just provided, yes. :-)

[Much interesting stuff deleted; thanks again.]

>[...] double negation
>served to retract a Heyting algebra onto a Boolean subalgebra of it

Is this by any chance related to the construction of the regular open
algebra of a topological space?
--
Gus Rodgers,  Dept. of Computer Science, | Cinema's worst romantic dialogue? --
Queen Mary & Westfield College, Mile End | "Mechagodzilla's brain is  installed
Road, London, England.   +44 71 975 5241 | in my stomach!" "I don't care if you
E-mail (JANET):   arodgers@dcs.qmw.ac.uk | are a cyborg  --  I still love you!"

Technical Details

Message-ID: <1993Jan11.194737.11729@dcs.qmw.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!qmw-dcs!arodgers

References:

<1993Jan8.223915.17370@cs.sfu.ca> <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU> <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!qmw-dcs!arodgers
From: arodgers@dcs.qmw.ac.uk (Angus H Rodgers)
Newsgroups: sci.logic
Subject: Re: Multiple Truth Values
Message-ID: <1993Jan11.194737.11729@dcs.qmw.ac.uk>
Date: 11 Jan 93 19:47:37 GMT
References: <1993Jan8.223915.17370@cs.sfu.ca> <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU> <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
Organization: Computer Science Dept, QMW, University of London
Lines: 20
Nntp-Posting-Host: io.dcs.qmw.ac.uk

Reply to Parent Message