Prev Up Next
Go backward to 3.1 Signatures
Go up to 3 Subsorting Concepts
Go forward to 3.3 Sentences

3.2 Models

For a subsorted signature Sigma the  subsorted models are ordinary many-sorted models for Sigma# that satisfy the following properties (which can be formalized as a set of conditional axioms):

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up Next