Logical investigations on ptq arising from programming requirements

Synthese 44 (3):361 - 390 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00413467

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theo-logic: theological logical theory.Hans Urs von Balthasar - 2000 - San Francisco: Ignatius Press.
Typical features of intentional conditions and Husserl V. Logical investigations.Christopher Erhard - 2009 - Philosophisches Jahrbuch 116 (1):59-89.
Jacob Burckhardt und die griechen. By E. M. Janssen. [REVIEW]F. M. W. F. M. W. - 1980 - History and Theory 19 (2):239.
Dowty David R.. Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol. 7. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, xvii + 415 pp. [REVIEW]F. Guenthner - 1983 - Journal of Symbolic Logic 48 (2):501-502.
Selected papers published before 1996.Vladimir Lifschitz - manuscript
Wittgenstein and Frege's logical investigations.Wolfgang Kunne - 2009 - In Hans-Johann Glock & John Hyman (eds.), Wittgenstein and Analytic Philosophy: Essays for P. M. S. Hacker. New York: Oxford University Press.
Studies of intensional contexts in mohist writings.Desheng Zong - 2000 - Philosophy East and West 50 (2):208-228.
A dialogical route to logical pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Adventures in the verification of mathematics.Harvey Friedman - manuscript

Analytics

Added to PP
2009-01-28

Downloads
53 (#411,791)

6 months
8 (#600,396)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Semantic analysis of wh-complements.Jeroen Groenendijk & Martin Stokhof - 1982 - Linguistics and Philosophy 5 (2):175 - 233.

Add more citations

References found in this work

The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
Formal Philosophy.Richmond H. Thomason (ed.) - 1974 - Yale University Press.

View all 7 references / Add more references