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 --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Prev Up Next