Re: Multiple Truth Values

Article View: sci.logic

Article #641

#641

From: John C. Baez
Date: Tue, 12 Jan 1993 01:08

19 lines
1519 bytes

In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
>In article <1993Jan9.191854.10303@dcs.qmw.ac.uk> arodgers@dcs.qmw.ac.uk (Angus H Rodgers) writes:

>>Do you have any references to more adequate studies of the algebra(s)
>>of truth values?
>
>Let me strongly recommend Birkhoff's Lattice Theory, if you don't mind
>impact can be felt at all levels, even the most elementary.  The
>algebra of truth values is a very rich subject today, from bottom to
>top, that is not adequately served by its literature.  [Further
references deleted.]

Also, if you are feeling adventurous and willing to drop distributivity,
you might check out the extensive literature on quantum logics.  For
starters, try 

The Logico-algebraic approach to quantum mechanics / edited by C. A.
Hooker.  
   Dordrecht ; Boston : D. Reidel Pub. Co., [1975]-1979.

Technical Details

Message-ID: <1993Jan12.010844.14146@galois.mit.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!sdd.hp.com!usc!howland.reston.ans.net!spool.mu.edu!enterpoop.mit.edu!galois!riesz!jbaez

References:

<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

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!sdd.hp.com!usc!howland.reston.ans.net!spool.mu.edu!enterpoop.mit.edu!galois!riesz!jbaez
From: jbaez@riesz.mit.edu (John C. Baez)
Subject: Re: Multiple Truth Values
Message-ID: <1993Jan12.010844.14146@galois.mit.edu>
Sender: news@galois.mit.edu
Nntp-Posting-Host: riesz
Organization: MIT Department of Mathematics, Cambridge, MA
References: <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU> <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
Date: Tue, 12 Jan 93 01:08:44 GMT
Lines: 23

Reply to Parent Message