🚀 go-pugleaf

In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
 
>Unfortunately there is no one place to look for the bulk of the
>worthwhile material.  Despite its antiquity Birkhoff's Lattice Theory
>remains an encyclopedic starting point (rather like a volume of Knuth),
>but does not reflect the last three decades of development, whose
>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.
 
However, there are now - or will be shortly - some comprehensive
texts reflecting the state of the art of the subject:
 
1. The proceedings of the conference on algebraic logic, Budapest 1988,
Coll Math Soc Janos Bolyai 54
 
2. The proceedings of the logic semester at the Banach Center, Warsaw,
Banach Center Publ 28, to appear 1993, as well as special issue of
Fund Inf
 
3. Istvan Nemeti's survey article "Algebraizations of quantifier logics,
an introductory overview", now in its 11th version,
to appear in Studia Logica.
 
And don't forget Rasiowa & Sikorski "The mathematics of metamathematics",
quite old but still rather useful and good to read (though
others may think differently).
 
Ivo Duentsch
Univ. Osnabrueck