Logic System Interrelationship Updates (2007)

2007-01-03

• Added equivalence definition to the Łukasiewicz Axioms in PC. Thanks to Geoff Sutcliffe for the bug report.
• Lots of cleanups (Thanks to Petr Pudlák for the push)
• Corrected a few S3 axioms per note from Petr Pudlák, reporting problem noticed doing mechanical modeling of systems.

Changes in Prior Years

• 2006
• 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-2007.html
© Copyright 2007 by John Halleck, All Rights Reserved.
This page was last modified on August 5th, 2007