Sciweavers

IMPERIAL
1994

Geometric logic as a Specification Language

14 years 1 months ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schemas are used as geometric theory presentations. A descriptional mechanism of \schema entailment", generalizing type constructions and logical entailment, is de ned and investigated in some examples, and is also used in de ning schema morphisms which are discussed brie y in connection with schema connectives, and with specifying and implementing operations.
Steven Vickers
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where IMPERIAL
Authors Steven Vickers
Comments (0)