Partial-predicate logic in computer science

DOI10.1007/BF00292109MaRDI QIDQ1079560zbMATH OpenFDO

Authors Albert Hoogewijs

Publication date 1987

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00292109

zbMATH Keywords

3-valued logiccorrectness of programsprogram verification

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60)

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.

Recommendations

• Partial deduction in disjunctive logic programming
• Partial models and logic programming
• Partial deduction for structured logic programming
• scientific article; zbMATH DE number 194642
• scientific article; zbMATH DE number 6287649
• Partial evaluation in logic programming
• scientific article; zbMATH DE number 1045389
• Predicate abstraction in a program logic calculus
• Predicate Abstraction in a Program Logic Calculus
• Semantics of (disjunctive) logic programs based on partial evaluation

Cites work

• A logic covering undefinedness in program proofs
• A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• On a Formalization of the Non-Definedness Notion

Cited in

(14)

• Proof systems for reasoning about computation errors
• A note on undefined expression values in programming logics
• A guided tour of the mathematics of MetaSoft '88
• Partial logics reconsidered: A conservative approach
• The non-definedness notion in expert systems
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
• scientific article; zbMATH DE number 176148 (Why is no real title available?)
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• Partial deduction in disjunctive logic programming
• A first order logic for partial functions (extended abstract)
• Partial deduction for structured logic programming
• Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
• A first order logic for partial functions

This page was built for publication: Partial-predicate logic in computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1079560)