Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 277-286
- https://doi.org/10.1007/3-540-54345-7_71
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Partial-predicate logic in computer scienceActa Informatica, 1987
- A logic covering undefinedness in program proofsActa Informatica, 1984
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGICMathematical Logic Quarterly, 1983
- The clean termination of iterative programsActa Informatica, 1981
- On the Development of Correct Specified ProgramsIEEE Transactions on Software Engineering, 1981
- On a Formalization of the Non‐Definedness NotionMathematical Logic Quarterly, 1979