Media type: E-Article Title: The Standard Logic of Z is Inconsistent Contributor: Henson, Martin C. imprint: Association for Computing Machinery (ACM), 1998 Published in: Formal Aspects of Computing Language: English DOI: 10.1007/s001650050014 ISSN: 0934-5043; 1433-299X Keywords: Theoretical Computer Science ; Software Origination: Footnote: Description: <jats:title>Abstract.</jats:title> <jats:p>We demonstrate that the logic contained in the draft Z standard is inconsistent.</jats:p> Access State: Open Access