, Volume 10, Issue 3, pp 243-247

The Standard Logic of Z is Inconsistent

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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

Received May 1998 / Accepted in revised form October 1998