Article View: sci.logic
Article #643Re: Multiple Truth Values
From: Vaughan R. Pratt
Date: Tue, 12 Jan 1993 07:31
Date: Tue, 12 Jan 1993 07:31
14 lines
1300 bytes
1300 bytes
In article <1993Jan12.010844.14146@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes: >In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes: >>Let me strongly recommend Birkhoff's Lattice Theory [...] > >Also, if you are feeling adventurous and willing to drop distributivity, ^^^^ >you might check out the extensive literature on quantum logics. For this let me strongly recommend Birkhoff's Lattice Theory. Sections II.14 (pp.52-54), XI.11 (pp.273-276), and XII.6 (pp.284-286) together pack more useful information about quantum logic into 8 pages than any other single reference I know. -- Vaughan Pratt There's safety in large condition numbers.
Technical Details
Message-ID:
<1993Jan12.073110.18949@CSD-NewsHost.Stanford.EDU>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!prattReferences:
<1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> <1993Jan12.010844.14146@galois.mit.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) Subject: Re: Multiple Truth Values Message-ID: <1993Jan12.073110.18949@CSD-NewsHost.Stanford.EDU> Sender: news@CSD-NewsHost.Stanford.EDU Organization: Computer Science Department, Stanford University. References: <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> <1993Jan12.010844.14146@galois.mit.edu> Date: Tue, 12 Jan 1993 07:31:10 GMT Lines: 14