Tuesday, December 12, 2006

Under the heading "Consequence relations" in the the "logic" page of theorem(e), I've linked to the following two very useful "papers" :
L. Humberstone : The connectives (.pdf, 1200 p., incomplete draft)
Arnon Avron : Simple Consequence relations (.pdf,50p.,1990).