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

• 2005

Changes in Prior Years

• 2003
• 2002
• 2001
• 2000
• 1999

Go to ...

• Logic Structures Page
• Logic Page
• John Halleck's Home Page

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