References
Barringer, H., J. H. Cheng, and C. B. Jones: 1983, ‘On the Role of Undefined in Program Proofs’, manuscript.
Dijkstra, E. W.: 1976, ‘A Discipline of Programming’, Prentice-Hall, New Jersey.
Kleene, S. C.: 1952, ‘Introduction to Metamathematics’, van Nostrand, Princeton.
von Wright, G. H.: 1983, ‘Truth Logic’, manuscript.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Back, R.J.R. A computational interpretation of truth logic. Synthese 66, 15–34 (1986). https://doi.org/10.1007/BF00413576
Issue Date:
DOI: https://doi.org/10.1007/BF00413576