Partial-predicate logic in computer science
From MaRDI portal
Publication:1079560
DOI10.1007/BF00292109zbMath0598.03018MaRDI QIDQ1079560
Publication date: 1987
Published in: Acta Informatica (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
03B50: Many-valued logic
Related Items
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus, A first order logic for partial functions, Proof systems for reasoning about computation errors, 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, 1998 European Summer Meeting of the Association for Symbolic Logic
Cites Work