Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus

  • Beata Konikowska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 520)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  1. Barringer H., Cheng J.H., Jones C.B., [84] A logic covering undefinedness in program proofs, Acta Informatica 21 (1984), 251–269.Google Scholar
  2. Beth E.W., [59] The foundations of mathematics, North Holland 1959Google Scholar
  3. Blikle A., [81 a] On the devlopment of correctly specified programs, IEEE Trans. on Soft. Eng. SE-7 (1981), 519–527Google Scholar
  4. [81 b] The clean termination of iterative programs, Acta Informatica 16 (1981), 199–217Google Scholar
  5. [87] MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics, LNCS 288, Springer-Verlag 1985Google Scholar
  6. [88] Three-valued predicates for software specification and validation, Proceedings of the VDM 88 Symposium, LNCS 328, 243–266, Springer-Verlag 1988Google Scholar
  7. Hogevijs A., [79] On a formalization of the non-definedness notion, Zeitscrift f. Math. Logik u. Grundlagen d. Math., Vol. 25 (1979), 213–221.Google Scholar
  8. [83] A partial predicate calculus in two-valued logic, ibid., Vol. 29 (1983), 239–243Google Scholar
  9. [87] Partial predicate logic in computer science, Acta Informatica 24, (1987), 381–393Google Scholar
  10. Jones C.B., [86] Systematic software development using VDM, Prentice-Hall International Series in Computer Science, 1986Google Scholar
  11. , [87] VDM proof obligations and their justifications, Proc. VDM Symposium 1987, 260–286, LNCS 252, Springer-Verlag, 1987.Google Scholar
  12. Kleene S.C., [52] Introduction to Metamathematics, North Holland 1952Google Scholar
  13. Konikowska B., Tarlecki A., Blikle A., [88] A three-valued logic for software specification and validation, Proceedings of the VDM 88 Symposium, LNCS 328, 218–242, Springer-Verlag 1988; a revised and extended version is to appear in Fundamenta InformaticaGoogle Scholar
  14. McCarthy J., [61] A basis for a mathematical theory of computation, Western Joint Conference, 1961, later published in Computer Programming and Formal Systems, North Holland 1967, 33–70Google Scholar
  15. Owe O., [85] An approach to program reasoning based on first order logic for partial functions, Res. Rep. Institute of Informatics, University of Oslo, no. 89, 1985.Google Scholar
  16. Rasiowa H., Sikorski R., [63] The mathematics of metamathematics, Polish Scientific Publishers, Warsaw 1963.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Beata Konikowska
    • 1
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarsawPoland

Personalised recommendations