Partial-predicate logic in computer science
type: Item
instance of: scholarly article
title: Partial-predicate logic in computer science
zbMATH Open document ID: 0598.03018
DOI: 10.1007/BF00292109
author: Albert Hoogewijs
published in: Acta Informatica
publication date: 1987-01-01T00:00:00Z
review text: In [Acta Inf. 21, 251-269 (1984; Zbl 0534.68024)] \textit{H. Barringer}, \textit{J. H. Cheng} and \textit{C. B. Jones} present a 3-valued logic designed for program verification and computer science applications in general. This paper adds some theoretical background to their arguments for the need for such a system.
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3963796
zbMATH Keywords: correctness of programs
zbMATH Keywords: 3-valued logic
zbMATH Keywords: program verification
MaRDI profile type: Publication
cites work: A logic covering undefinedness in program proofs
cites work: Introduction to mathematical logic. Translated from the German by Diana Schmidt
cites work: On a Formalization of the Non-Definedness Notion
cites work: A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
Recommended article: Partial deduction in disjunctive logic programming
Recommended article: Partial models and logic programming
Recommended article: Partial deduction for structured logic programming
Recommended article: Q4692630
Recommended article: Q5411496
Recommended article: Partial evaluation in logic programming
Recommended article: Q4347145
Recommended article: Predicate abstraction in a program logic calculus
Recommended article: Predicate Abstraction in a Program Logic Calculus
Recommended article: Semantics of (disjunctive) logic programs based on partial evaluation
description: scientific article; zbMATH DE number 3963796