`The standard logic for \(Z\)': A clarification
type: Item
instance of: scholarly article
title: `The standard logic for \(Z\)': A clarification
zbMATH Open document ID: 0956.68084
published in: Formal Aspects of Computing
publication date: 2000-05-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1439782
zbMATH Keywords: draft logic
author: Steve F. King
MaRDI profile type: Publication
full work available at URL: s001650050043
OpenAlex ID: W2075924384
DOI: 10.1007/S001650050043
Recommended article: The standard logic of \(Z\) is inconsistent
Recommended article: The specification logic \(\nu\mathsf{Z}\)
Recommended article: Revising \(Z\). I: Logic and semantics
Recommended article: The specification logic \(\nu \)Z
Recommended article: A characterisation of some \(\mathbf{Z}\)-like logics
Recommended article: Revising \(Z\). II: Logical development
Recommended article: Q4680194
Recommended article: Some compact logics -- results in ZFC
Recommended article: Q4493901
Recommended article: Relating Z and first-order logic
description: scientific article; zbMATH DE number 1439782