Kleene's Logic with equality
type: Item
instance of: scholarly article
title: Kleene's Logic with equality
zbMATH Open document ID: 1032.68100
DOI: 10.1016/S0020-0190(01)00155-7
author: R. Smith
published in: Information Processing Letters
publication date: 2002-07-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1767159
zbMATH Keywords: Formal semantics
zbMATH Keywords: Specification languages
zbMATH Keywords: Formal logic
MaRDI profile type: Publication
cites work: Q4693184
cites work: Q3995890
cites work: Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
cites work: Q5812175
cites work: Q4133080
cites work: Strictness analysis and denotational abstract interpretation
cites work: Two-level semantics and abstract interpretation
cites work: Q2729057
cites work: A Powerdomain Construction
cites work: The λ-calculus is ω-incomplete
cites work: Q4072829
cites work: Verifying Temporal Heap Properties Specified via Evolution Logic
full work available at URL: s0020-0190(01)00155-7
OpenAlex ID: W2084806691
Wikidata QID: Q128022080
description: scientific article; zbMATH DE number 1767159