Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
- 1 January 1993
- journal article
- research article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 3 (1) , 39-71
- https://doi.org/10.1080/11663081.1993.10510795
Abstract
(1993). Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. Journal of Applied Non-Classical Logics: Vol. 3, No. 1, pp. 39-71.Keywords
This publication has 11 references indexed in Scilit:
- A Three-Valued Logic for Software Specification and Validation. Tertium tamen daturFundamenta Informaticae, 1991
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculusPublished by Springer Nature ,1991
- Partial-predicate logic in computer scienceActa Informatica, 1987
- VDM proof obligations and their justificationPublished by Springer Nature ,1987
- Computer aided reasoningPublished by Springer Nature ,1985
- 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