Abstract.
This is the second of two related papers. In “Revising Z: Part I - logic and semantics” (this journal) we introduced a simple specification logic Z C comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational reconstruction of) the specification language Z within Z C . As a result we obtained a sound logic for Z, including the basic schema calculus. In this paper we extend the basic framework with more sophisticated features (including schema operations) and we mount a critique of a number of concepts used in Z. We further demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received March 1998 / Accepted in revised form April 1999
Rights and permissions
About this article
Cite this article
Henson, M., Reeves, S. Revising Z: Part II – logical development. Formal Aspects of Computing 11, 381–401 (1999). https://doi.org/10.1007/s001650050039
Issue Date:
DOI: https://doi.org/10.1007/s001650050039