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.

Changes from SCL 1.01 to 1.02

Generalized arity and made it part of the definition of an SCL language; traditional first-order languages are just those in which preds, function symbols, and ind constants are disjoint and arity(κ) is a singleton for all predicates and function symbols.
Altered semantics to reflect the addition of arity.

Last modified: Sat Jul 12 20:36:55 CDT 2003