- Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.details
|
|
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.details
|
|
The Semantics of Definite and Indefinite Noun Phrases.Irene Heim - 1982 - Dissertation, Umass Amherstdetails
|
|
Adverbs of quantification.David K. Lewis - 1975 - In Edward Louis Keenan (ed.), Formal semantics of natural language: papers from a colloquium sponsored by the King's College Research Centre, Cambridge. New York: Cambridge University Press. pp. 3--15.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
A theory of truth and semantic representation, 277-322, JAG Groenendijk, TMV Janssen and MBJ Stokhof, eds.H. Kamp - 1981 - In Jeroen A. G. Groenendijk (ed.), Formal methods in the study of language. U of Amsterdam.details
|
|
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.details
|
|
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.details
|
|
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
A system of implicit quantification.J. Jay Zeman - 1967 - Journal of Symbolic Logic 32 (4):480-504.details
|
|
A compositional approach to discourse representation theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|