Geometric logic as a Specification Language.
Steven Vickers · 1994
The "observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like specification language in which schemas are used as geometric theory presentations.