Logic System Interrelationship Updates (2005)

Lots and lots and lots of fixes driven by Geoff Sutcliffe, et al, mechanizing some of this and therefore noticing problems.

Fixes driven by Max Cresswell's note explaining about the Two different K4's appearing in the literature.

Fixes driven by Dolph Ulrich's extensive notes about Hacking's C4 not being the same as Anderson and Belnap's C4 (and the same for C5's

Lots and lots of additional systems

Source References for more systems

systems index cleanup and fillin.

Bibliography crossreference now automated

  • 2006

  • Changes in Prior Years

    Go to ...

    This page is http://www.cc.utah.edu/~nahaj/logic/structures/changes-2005.html
    © Copyright 2005 by John Halleck, All Rights Reserved.
    This page was last modified on October 25th, 2005