Partial-predicate logic in computer science

DOI10.1007/BF00292109zbMath0598.03018MaRDI QIDQ1079560

Albert Hoogewijs

Publication date: 1987

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

3-valued logicprogram verificationcorrectness of programs

Mathematics Subject Classification ID

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

Related Items (9)

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 ⋮ A guided tour of the mathematics of MetaSoft '88 ⋮ A first order logic for partial functions ⋮ Partial logics reconsidered: A conservative approach ⋮ Proof systems for reasoning about computation errors ⋮ A first order logic for partial functions ⋮ The non-definedness notion in expert systems ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Cites Work

• 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
• A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

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