Logic System Interrelationship Updates (2004)

Renaming of axioms in preparation of making parts of the project machine processable [On going]. And wading through the backlog of errata.

2004 04 16 - Fixed missing double quote that caused a few table entries to appear to browsers as combined.

2004 11 21 - Various fixups. Additions to bibliographys, Added C4 Total rearrangement of systems, rules, and axioms into their own directories to aid later mechanization.

2004 11 27 - Continued rearrangement. Numerious consistency changes. Started weedout of "dead" old pages.


Changes in Later Years


2007
  • 2006
  • 2005

  • Changes in Prior Years


    Go to ...


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