Go backward to 2.2 Variables
Go up to 2 Basic Constructs
Go forward to 2.4 Identifiers
AXIOM-ITEMS ::= axiom-items AXIOM+
AXIOM ::= FORMULA
A list AXIOM-ITEMS of axioms is written:
axioms F1; ... Fn;
Each well-formed axiom determines a sentence of the underlying basic
specification (closed by universal quantification over all declared
FORMULA ::= QUANTIFICATION | CONJUNCTION | DISJUNCTION
| IMPLICATION | EQUIVALENCE | NEGATION | ATOM
A formula is constructed from atomic formulae of the form ATOM
using quantification and the usual logical connectives.
Keywords in formulae and terms are displayed in the same font as
identifiers (elsewhere in bold face).
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org