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)

zbMATH Keywords

program verificationcorrectness of programs3-valued logic

Mathematics Subject Classification ID

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

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

Cited in

(14)

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

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)