Program Semantics and Classical Logic



We have taken the naive view that the meaning of a program consists
in a relation between input and output states. But more finegrained
notions of meaning (for example, the meaning of a program as a
process
or as an execution trace) do not seem to be in conflict with the methods
employed here. As long as we let programs be translated as terms of
relational type the methods of section 7 seem to be applicable.

References

[1] P.B. Andrews. An Introduction to Mathematical Logic and Type Theory:
to Truth through Proof
. Academic Press, Orlando, Florida, 1975.

[2] A. Church. A Formulation of the Simple Theory of Types. Journal of
Symbolic Logic, 5:56-68, 1940.

[3] J. De Bakker. Mathematical Theory of Program Correctness. Prentice-
Hall, Englewood Cliffs, NJ, 1980.

[4] D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland,
Amsterdam, 1975.

[5] R. Goldblatt. Logics of Time and Computation. CSLI Lecture Notes,
Stanford, 1987.

[6] J. Groenendijk and M. Stokhof. Dynamic Montague Grammar. In
L. Kalman and L. Polos, editors,
Papers from the Second Symposium
on Logic and Language,
pages 3-48. Akademiai Kiado, Budapest, 1990.

[7] D. Harel. Dynamic Logic. In D.M. Gabbay and F. Guenthner, edi-
tors,
Handbook of Philosophical Logic, volume II, pages 497-604. Reidel,
Dordrecht, 1984.

[8] L. Henkin. Completeness in the Theory of Types. Journal of Symbolic
Logic
, 15:81-91, 1950.

[9] L. Henkin. A Theory of Propositional Types. Fundamenta Mathemati-
cae
, 52:323-344, 1963.

[10] Th. Janssen. Foundations and Applications of Montague Grammar. Cen-
tre for Mathematics and Computer Science, Amsterdam, 1986.

31



More intriguing information

1. DURABLE CONSUMPTION AS A STATUS GOOD: A STUDY OF NEOCLASSICAL CASES
2. Non Linear Contracting and Endogenous Buyer Power between Manufacturers and Retailers: Empirical Evidence on Food Retailing in France
3. The name is absent
4. The fundamental determinants of financial integration in the European Union
5. Orientation discrimination in WS 2
6. Impacts of Tourism and Fiscal Expenditure on Remote Islands in Japan: A Panel Data Analysis
7. Accurate and robust image superresolution by neural processing of local image representations
8. The name is absent
9. A Consistent Nonparametric Test for Causality in Quantile
10. The effect of classroom diversity on tolerance and participation in England, Sweden and Germany
11. The name is absent
12. The name is absent
13. The Role of area-yield crop insurance program face to the Mid-term Review of Common Agricultural Policy
14. A multistate demographic model for firms in the province of Gelderland
15. ISSUES AND PROBLEMS OF IMMEDIATE CONCERN
16. Fortschritte bei der Exportorientierung von Dienstleistungsunternehmen
17. The name is absent
18. Cardiac Arrhythmia and Geomagnetic Activity
19. Convergence in TFP among Italian Regions - Panel Unit Roots with Heterogeneity and Cross Sectional Dependence
20. Kharaj and land proprietary right in the sixteenth century: An example of law and economics