Revising Z: Part I – logic and semantics
Martin C. Henson, Steve Reeves · Formal Aspects of Computing · 1999
Abstract. This is the first of two related papers. We introduce a simple specification logic Z C comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within Z C . As a result we obtain a sound logic for Z, including a basic schema calculus.