Abstract.
We demonstrate that the logic contained in the draft Z standard is inconsistent.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received May 1998 / Accepted in revised form October 1998
Rights and permissions
About this article
Cite this article
Henson, M. The Standard Logic of Z is Inconsistent. Form Aspects Comput 10, 243–247 (1998). https://doi.org/10.1007/s001650050014
Published:
Issue Date:
DOI: https://doi.org/10.1007/s001650050014