-
2
-
-
18944408190
-
Noun Phrases, Generalized Quantifiers and Anaphora
-
P. Gärdenfors (ed.), Reidel, Dordrecht
-
Barwise, J.: 1987, 'Noun Phrases, Generalized Quantifiers and Anaphora', in P. Gärdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, pp. 1-29.
-
(1987)
Generalized Quantifiers
, pp. 1-29
-
-
Barwise, J.1
-
3
-
-
2342642847
-
Semantic Parallels
-
H. D. Ebbinghaus et al. (eds.), North-Holland, Amsterdam
-
van Benthem, J. F. A. K.: 1989, 'Semantic Parallels', in H. D. Ebbinghaus et al. (eds.), Logic Colloquium. Granada 1987, North-Holland, Amsterdam, pp. 331-375.
-
(1989)
Logic Colloquium. Granada 1987
, pp. 331-375
-
-
Van Benthem, J.F.A.K.1
-
5
-
-
10644281992
-
Cross-Linguistic Semantics
-
Bittner, M.: 1994, 'Cross-Linguistic Semantics', Linguistics and Philosophy 17, 53-108.
-
(1994)
Linguistics and Philosophy
, vol.17
, pp. 53-108
-
-
Bittner, M.1
-
6
-
-
33745155922
-
A Compositional DRS-based Formalism for NLP Applications
-
H. Bunt, R. Muskens and G. Rentier (eds.), ITK, Tilburg
-
Bos, J., E. Mastenbroek, S. McGlashan, S. Millies and M. Pinkal: 1994, 'A Compositional DRS-based Formalism for NLP Applications', in H. Bunt, R. Muskens and G. Rentier (eds.), Proceedings of the International Workshop on Computational Semantics, ITK, Tilburg, pp. 21-31.
-
(1994)
Proceedings of the International Workshop on Computational Semantics
, pp. 21-31
-
-
Bos, J.1
Mastenbroek, E.2
McGlashan, S.3
Millies, S.4
Pinkal, M.5
-
7
-
-
33646572973
-
Anaphora and Dynamic Binding
-
Chierchia, G.: 1992, 'Anaphora and Dynamic Binding', Linguistics and Philosophy 15, 111-183.
-
(1992)
Linguistics and Philosophy
, vol.15
, pp. 111-183
-
-
Chierchia, G.1
-
9
-
-
0003180840
-
A Formulation of the Simple Theory of Types
-
Church, A.: 1940, 'A Formulation of the Simple Theory of Types', The Journal of Symbolic Logic 5, 56-68.
-
(1940)
The Journal of Symbolic Logic
, vol.5
, pp. 56-68
-
-
Church, A.1
-
11
-
-
34250254666
-
Lambda Normal Forms in an Intensional Logic for English
-
Friedman, J. and D. Warren: 1980, 'Lambda Normal Forms in an Intensional Logic for English', Studio Logica 39, 311-324.
-
(1980)
Studio Logica
, vol.39
, pp. 311-324
-
-
Friedman, J.1
Warren, D.2
-
12
-
-
0004327725
-
-
Gabbay, D. and F. Günthner (eds.): Reidel, Dordrecht
-
Gabbay, D. and F. Günthner (eds.): 1983, Handbook of Philosophical Logic, Reidel, Dordrecht.
-
(1983)
Handbook of Philosophical Logic
-
-
-
14
-
-
8744245367
-
A Cross-Categorial Semantics for Coordination
-
Gazdar, G.: 1980, 'A Cross-Categorial Semantics for Coordination', Linguistics and Philosophy 3, 407-409.
-
(1980)
Linguistics and Philosophy
, vol.3
, pp. 407-409
-
-
Gazdar, G.1
-
15
-
-
0003697514
-
Logics of Time and Computation
-
Stanford
-
Goldblatt, R.: 1987, Logics of Time and Computation, CSLI Lecture Notes, Stanford.
-
(1987)
CSLI Lecture Notes
-
-
Goldblatt, R.1
-
16
-
-
0039816598
-
Dynamic Montague Grammar
-
L. Kálmán and L. Pólos (eds.), Akadémiai Kiadó, Budapest
-
Groenendijk, J. and M. Stokhof: 1990, 'Dynamic Montague Grammar', in L. Kálmán and L. Pólos (eds.), Papers from the Second Symposium on Logic and Language, Akadémiai Kiadó, Budapest, pp. 3-48.
-
(1990)
Papers from the Second Symposium on Logic and Language
, pp. 3-48
-
-
Groenendijk, J.1
Stokhof, M.2
-
18
-
-
0003749765
-
-
Dissertation, UMass, Amherst, published in 1989 by Garland, New York
-
Heim, I.: 1982, The Semantics of Definite and Indefinite Noun Phrases, Dissertation, UMass, Amherst, published in 1989 by Garland, New York.
-
(1982)
The Semantics of Definite and Indefinite Noun Phrases
-
-
Heim, I.1
-
19
-
-
0000904656
-
File Change Semantics and the Familiarity Theory of Definiteness
-
R. Bäuerle, C. Schwarze, and A. von Stechow (eds.), de Gruyter, Berlin
-
Heim, I.: 1983, 'File Change Semantics and the Familiarity Theory of Definiteness', in R. Bäuerle, C. Schwarze, and A. von Stechow (eds.), Meaning, Use and Interpretation of Language, de Gruyter, Berlin.
-
(1983)
Meaning, Use and Interpretation of Language
-
-
Heim, I.1
-
21
-
-
0038584593
-
A Theory of Propositional Types
-
Henkin, L.: 1963, 'A Theory of Propositional Types', Fundamenta Mathematicae 52, 323-344.
-
(1963)
Fundamenta Mathematicae
, vol.52
, pp. 323-344
-
-
Henkin, L.1
-
23
-
-
0001225163
-
A Theory of Truth and Semantic Representation
-
J. Groenendijk, Th. Janssen, and M. Stokhof (eds.), Mathematisch Centrum, Amsterdam
-
Kamp, H.: 1981, 'A Theory of Truth and Semantic Representation', in J. Groenendijk, Th. Janssen, and M. Stokhof (eds.), Formal Methods in the Study of Language, Part I, Mathematisch Centrum, Amsterdam, pp. 277-322.
-
(1981)
Formal Methods in the Study of Language, Part I
, pp. 277-322
-
-
Kamp, H.1
-
27
-
-
0009332649
-
Adverbs of Quantification
-
E. Keenan (ed.), Cambridge University Press
-
Lewis, D.: 1975, 'Adverbs of Quantification', in E. Keenan (ed.), Formal Semantics of Natural Language, Cambridge University Press, pp. 3-15.
-
(1975)
Formal Semantics of Natural Language
, pp. 3-15
-
-
Lewis, D.1
-
29
-
-
0041160562
-
The Proper Treatment of Quantification in Ordinary English
-
R. Montague (ed.), Yale University Press, New Haven, 1974
-
Montague, R.: 1973, 'The Proper Treatment of Quantification in Ordinary English', in R. Montague (ed.), Formal Philosophy, Yale University Press, New Haven, 1974, pp. 247-270.
-
(1973)
Formal Philosophy
, pp. 247-270
-
-
Montague, R.1
-
30
-
-
52649158263
-
Going Partial in Montague Grammar
-
R. Bartsch, J. F. A. K. van Benthem and P. van Emde Boas (eds.), Foris, Dordrecht
-
Muskens, R. A.: 1989, 'Going Partial in Montague Grammar', in R. Bartsch, J. F. A. K. van Benthem and P. van Emde Boas (eds.), Semantics and Contextual Expression, Foris, Dordrecht, pp. 175-220.
-
(1989)
Semantics and Contextual Expression
, pp. 175-220
-
-
Muskens, R.A.1
-
31
-
-
84937694726
-
Anaphora and the Logic of Change
-
Jan van Eijck (ed.), JELIA '90, European Workshop on Logics in AI, Springer, Berlin
-
Muskens, R. A.: 1991, 'Anaphora and the Logic of Change', in Jan van Eijck (ed.), JELIA '90, European Workshop on Logics in AI, Springer Lecture Notes, Springer, Berlin, pp. 414-430.
-
(1991)
Springer Lecture Notes
, pp. 414-430
-
-
Muskens, R.A.1
-
32
-
-
53349132116
-
Categorial Grammar and Discourse Representation Theory
-
Kyoto
-
Muskens, R.: 1994, 'Categorial Grammar and Discourse Representation Theory', Proceedings of COLING 94, Kyoto, pp. 508-514.
-
(1994)
Proceedings of COLING 94
, pp. 508-514
-
-
Muskens, R.1
-
33
-
-
28044450778
-
Tense and the Logic of Change
-
U. Egli, P. E. Pause, C. Schwarze, A. von Stechow and G. Wienold (eds.), J. Benjamins, Amsterdam/Philadelphia
-
Muskens, R. A.: 1995a, 'Tense and the Logic of Change', in: U. Egli, P. E. Pause, C. Schwarze, A. von Stechow and G. Wienold (eds.), Lexical Knowledge in the Organisation of Language', J. Benjamins, Amsterdam/Philadelphia, pp. 147-183.
-
(1995)
Lexical Knowledge in the Organisation of Language
, pp. 147-183
-
-
Muskens, R.A.1
-
35
-
-
53349085136
-
Dynamics
-
forthcoming, J. F. A. K. van Benthem and A. ter Meulen (eds.), Elsevier Science Publishers
-
Muskens, R. A., J. F. A. K. van Benthem, and A. Visser: forthcoming, 'Dynamics', in J. F. A. K. van Benthem and A. ter Meulen (eds.), The Handbook of Logic and Language, Elsevier Science Publishers.
-
The Handbook of Logic and Language
-
-
Muskens, R.A.1
Van Benthem, J.F.A.K.2
Visser, A.3
-
36
-
-
85187754722
-
Generalized Conjunction and Type Ambiguity
-
R. Bäuerle, Ch. Schwarze and A. von Stechow (eds.), De Gruyter, Berlin
-
Partee, B. and M. Rooth: 1983, 'Generalized Conjunction and Type Ambiguity', in R. Bäuerle, Ch. Schwarze and A. von Stechow (eds.), Meaning, Use and Interpretation of Language, De Gruyter, Berlin, pp. 361-383.
-
(1983)
Meaning, Use and Interpretation of Language
, pp. 361-383
-
-
Partee, B.1
Rooth, M.2
-
38
-
-
18944401605
-
Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics
-
P. Gärdenfors (ed.), Reidel, Dordrecht
-
Rooth, M.: 1987, 'Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics', in P. Gärdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, pp. 237-268.
-
(1987)
Generalized Quantifiers
, pp. 237-268
-
-
Rooth, M.1
-
39
-
-
34248807335
-
A Natural Deduction System for Discourse Representation Theory
-
Saurer, W.: 1993, 'A Natural Deduction System for Discourse Representation Theory', Journal of Philosophical Logic 22, 249-302.
-
(1993)
Journal of Philosophical Logic
, vol.22
, pp. 249-302
-
-
Saurer, W.1
-
40
-
-
42149083996
-
On Engendering an Illusion of Understanding
-
Scott, D.: 1971, 'On Engendering an Illusion of Understanding', Journal of Philosophy 68, 787-807.
-
(1971)
Journal of Philosophy
, vol.68
, pp. 787-807
-
-
Scott, D.1
-
41
-
-
44949253382
-
∈ - λ kontextfreie Sprachen: Ein Beitrag zu einer natürlichen formalen Semantik
-
Von Stechow, A.: 1974, '∈ - λ kontextfreie Sprachen: Ein Beitrag zu einer natürlichen formalen Semantik', Linguistische Berichte 34, 1-33.
-
(1974)
Linguistische Berichte
, vol.34
, pp. 1-33
-
-
Von Stechow, A.1
-
42
-
-
33847343363
-
A Compositional Approach to Discourse Representation Theory
-
Zeevat, H.: 1989, 'A Compositional Approach to Discourse Representation Theory', Linguistics and Philosophy 12, 95-131.
-
(1989)
Linguistics and Philosophy
, vol.12
, pp. 95-131
-
-
Zeevat, H.1
|