3 Basic Specifications

A basic specification in CASL consists essentially of an unstructured collection of declarations and axioms.

This section focusses on the CASL treatment of partiality, subsorts, and overloading, and motivates the inclusion of first-order logic. It also discusses the design of sort generation constraints and so-called datatype declarations.