Formal Aspects of Computing

, Volume 10, Issue 3, pp 243–247

The Standard Logic of Z is Inconsistent

Authors

  • Martin C. Henson
    • Department of Computer Science, University of Essex, UK
Original Paper

DOI: 10.1007/s001650050014

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

Abstract.

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

Keywords: Specification languages; specification logic

Copyright information

© BCS 1998