The Standard Logic of Z is Inconsistent

Formal Aspects of Computing

Volumn 10, Issue 3, 1998, Pages 243-247

  Henson, Martin C ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Specification languages; Specification logic

Indexed keywords

SPECIFICATION LANGUAGES;

SPECIFICATION LOGIC; STANDARD LOGIC;

SPECIFICATIONS;

EID: 0041664864     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050014     Document Type: Article

References (6)

1. Brien, S. and Martin, A.: A tutorial of proof in standard Z. Technical monograph PRG-120, University of Oxford, 1996.
2. Toyn, I.: (ed.) Z Notation: Version 1.4. Z Standards Panel, 1998.
3. Nicholls, J : (ed.) Z Notation: Version 1.2. Z Standards Panel, 1995.
4. Nicholls, J.: (ed.) Z Notation: Version 1.3. Z Standards Panel, 1998.
5. Martin, A.: Private communication. January 1998.
6. Martin, A.: A revised deductive system for Z. Technical Report TR98-21, SVRC, University of Queensland, 1998.