SCL 1.0 Changelog

Changes from SCL 1.0 to 1.01

Changed name of domain of individuals from "D" to "I".
Changed "OrdVar" to "IndVar" and "ordinary variable" to "individual variable".
Corrected disjointness requirements on the classes in an SCL lexicon.
Removed constraint that the set R of relations be a subset of the set of individuals in every interpretation. Note this is still permissible, just not required.
Corrected semantics for required identity predicate "Id".
Permitted SeqVar to be empty. With the changes above, this will allow traditional first-order languages to count as SCL languages with no qualifications.

Changes from SCL 1.01 to 1.02

Moved changelog to a separate document.
Cleaned up some definitions.
Allowed individual variables to occur in predicate position in atomic formulas.
Removed claim that traditional first-order languages are fully-fledged SCL languages. (It's almost true, but needs qualification.)
Added section showing that SKIF (Simple KIF) is an SCL language.
Added extensive section on SCL₁ and more traditional frameworks for first-order logic.

Last modified: Sun Jun 15 00:33:04 CDT 2003