Prev Up
Go backward to 2.3.3 Atomic Formulae
Go up to 2.3 Axioms

2.3.4 Terms

  TERM             ::= SIMPLE-ID | QUAL-VAR | APPLICATION
                     | SORTED-TERM | CONDITIONAL

A term is constructed from constants and variables by applications of operations. All names used in terms may be qualified by the intended types, and the intended sort of the term may be specified. Note that the condition of a conditional term is a formula, not a term.

  • 2.3.4.1 Identifiers
  • 2.3.4.2 Qualified Variables
  • 2.3.4.3 Operation Application
  • 2.3.4.4 Sorted Terms
  • 2.3.4.5 Conditional Terms

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

    Prev Up