, Volume 10, Issue 3, pp 243-247
Date: 21 Apr 2005

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

Abstract.

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