Prev Up Next
Go backward to 2.1 Signature Declarations
Go up to 2 Basic Constructs
Go forward to 2.3 Axioms

2.2 Variables

Variables for use in terms may be declared globally, locally, or with explicit quantification. Globally or locally declared variables are implicitly universally quantified in subsequent axioms of the enclosing basic specification. Variables are not included in the declared signature.

Note that universal quantification over a variable that does not occur free in an axiom is semantically irrelevant, due to the assumption that all carriers are non-empty.

  • 2.2.1 Global Variable Declarations
  • 2.2.2 Local Variable Declarations

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next