, Volume 10, Issue 3, pp 243-247

The Standard Logic of Z is Inconsistent

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract.

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

Received May 1998 / Accepted in revised form October 1998