Formal Aspects of Computing

, Volume 10, Issue 3, pp 243–247

The Standard Logic of Z is Inconsistent

  • Martin C. Henson
Original Paper

DOI: 10.1007/s001650050014

Cite this article as:
Henson, M. Form Aspects Comput (1998) 10: 243. doi:10.1007/s001650050014


We demonstrate that the logic contained in the draft Z standard is inconsistent.

Keywords: Specification languages; specification logic 

Copyright information

© BCS 1998

Authors and Affiliations

  • Martin C. Henson
    • 1
  1. 1.Department of Computer Science, University of Essex, UKGB

Personalised recommendations