Logic System Interrelationship Updates (2006)

2005-12-25:

• Added Poste's systems

2006-11-05:

• Fixed bad axiom list for Russell and Whitehead's Principia Mathmatica set. (Thanks to Geoff Sutcliffe, Florian Rabe, and Petr Pudlák for the letter pointing it out.)
• Fixed typo in Heyting's HA4 (Thanks to Willemien Hoogendoorn for pointing it out.) Also fixed the copy in IPC
• Added Ł_ℵ
2B

2006-08-xx:

• Changes around S1, S2 (correcting some typos, reorganization and consistancy changes)
• PPL consistancy
• ICI fillin,
• Labeling Combinator "K"
• (Other changes to standardize on the Combinator names instead of the other mishmash of historical names)
• Additions to match Fey's Modal Logic text.
• Corrected system ver to be based on system K instead of axiom K
• Added lack of characteristic matrix result to S1 through S5
• etc...
• 2006-07-13: Infrastructure changes
• 2006-07-22: Finally, I think, caught up on various reported mistakes.
• 2006-08-04: Various corrections to systems around PPL to match historical facts.
• 2006-08-05: Various corrections around S1⁰ to match the original sources from Feys Modal Logic book
• 2006-08-06: Various corrections to reflect the original sources from von Wright

Changes in Prior Years

• 2005
• 2004
• 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-2006.html
© Copyright 2006 by John Halleck, All Rights Reserved.
This page was last modified on January 2nd, 2007