-
1
-
-
52549098681
-
Quantification in Eskimo: A challenge for compositional semantics
-
E. Bach, E. Jelinek, A. Kratzer, and B. Partee, eds., Dordrecht: Kluwer Academic Publishers
-
Bittner, M., 1995, "Quantification in Eskimo: A challenge for compositional semantics," pp. 59-80 in Quantification in Natural Languages, E. Bach, E. Jelinek, A. Kratzer, and B. Partee, eds., Dordrecht: Kluwer Academic Publishers.
-
(1995)
Quantification in Natural Languages
, pp. 59-80
-
-
Bittner, M.1
-
3
-
-
39749144692
-
On sense and reference
-
Translated as, A.W. Moore, ed., Oxford: Oxford University Press
-
Translated as "On Sense and Reference," pp. 23-45 in On Meaning and Reference, A.W. Moore, ed., Oxford: Oxford University Press, 1993.
-
(1993)
On Meaning and Reference
, pp. 23-45
-
-
-
4
-
-
0003449657
-
-
Cambridge, MA: Harvard University Press
-
Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, Generalized Phrase Structure Grammar, Cambridge, MA: Harvard University Press.
-
(1985)
Generalized Phrase Structure Grammar
-
-
Gazdar, G.1
Klein, E.2
Pullum, G.3
Sag, I.4
-
6
-
-
0001937939
-
Game-theoretical semantics
-
A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier
-
Hintikka, J. and Sandu, G., 1997, "Game-theoretical semantics," pp. 361-410 in Handbook of Logic and Language, A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier.
-
(1997)
Handbook of Logic and Language
, pp. 361-410
-
-
Hintikka, J.1
Sandu, G.2
-
7
-
-
0000993959
-
Logical features of Horn clauses
-
D. Gabbay, C. Hogger, and J. Robinson, eds., Oxford: Clarendon Press
-
Hodges, W., 1993, "Logical features of Horn clauses," pp. 449-503 in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, D. Gabbay, C. Hogger, and J. Robinson, eds., Oxford: Clarendon Press.
-
(1993)
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations
, vol.1
, pp. 449-503
-
-
Hodges, W.1
-
8
-
-
0007389725
-
Some strange quantifiers
-
J. Mycielski, G. Rozenberg, and A. Salomaa, eds., Lecture Notes in Computer Science, Berlin: Springer-Verlag
-
Hodges, W., 1997, "Some strange quantifiers," pp. 51-65 in Structures in Logic and Computer Science, J. Mycielski, G. Rozenberg, and A. Salomaa, eds., Lecture Notes in Computer Science, Vol. 1261, Berlin: Springer-Verlag.
-
(1997)
Structures in Logic and Computer Science
, vol.1261
, pp. 51-65
-
-
Hodges, W.1
-
9
-
-
38549119358
-
Compositionality is not the problem
-
Hodges, W., 1998, "Compositionality is not the problem," Logic and Logical Philosophy 6, 7-33.
-
(1998)
Logic and Logical Philosophy
, vol.6
, pp. 7-33
-
-
Hodges, W.1
-
11
-
-
24844436253
-
-
preprint
-
Lappin, S. and Zadrozny, A., 1999, "Compositionality, synonymy, and the systematic representation of meaning," preprint.
-
(1999)
Compositionality, Synonymy, and the Systematic Representation of Meaning
-
-
Lappin, S.1
Zadrozny, A.2
-
12
-
-
0001862336
-
Fully abstract models of the typed lambda-calculus
-
Milner, R., 1977, "Fully abstract models of the typed lambda-calculus," Theoretical Computer Science 4, 1-22.
-
(1977)
Theoretical Computer Science
, vol.4
, pp. 1-22
-
-
Milner, R.1
-
13
-
-
84936391954
-
-
Dordrecht: Kluwer Academic Publishers
-
Partee, B.H., ter Meulen, A., and Wall, R.E., 1990, Mathematical Methods in Linguistics, Dordrecht: Kluwer Academic Publishers.
-
(1990)
Mathematical Methods in Linguistics
-
-
Partee, B.H.1
Ter Meulen, A.2
Wall, R.E.3
-
14
-
-
0000230630
-
LCF considered as a programming language
-
Plotkin, G.D., 1977, "LCF considered as a programming language," Theoretical Computer Science 5, 223-255.
-
(1977)
Theoretical Computer Science
, vol.5
, pp. 223-255
-
-
Plotkin, G.D.1
-
15
-
-
0011609067
-
The concept of truth in formalized languages
-
J. Corcoran, ed., Indianopolis: Hackett Publishing
-
Tarski, A., 1983, "The concept of truth in formalized languages," pp. 152-278 in Logic, Semantics, Metamathematics, J. Corcoran, ed., Indianopolis: Hackett Publishing.
-
(1983)
Logic, Semantics, Metamathematics
, pp. 152-278
-
-
Tarski, A.1
-
16
-
-
0039108997
-
Arithmetical extensions of relational systems
-
Tarski, A. and Vaught, R., 1957, "Arithmetical extensions of relational systems," Compositio Mathematica 13, 81-102.
-
(1957)
Compositio Mathematica
, vol.13
, pp. 81-102
-
-
Tarski, A.1
Vaught, R.2
-
17
-
-
70749098750
-
On the compositionality of idioms. An abstract approach
-
D. Barker-Plummer, D. Beaver, J. van Benthem, and P. Scotto di Luzio, eds., Stanford, CA: CSLI Publications, to appear
-
Westerståhl, D., "On the compositionality of idioms. An abstract approach," in Proceedings of LLC8, D. Barker-Plummer, D. Beaver, J. van Benthem, and P. Scotto di Luzio, eds., Stanford, CA: CSLI Publications, to appear.
-
Proceedings of LLC8
-
-
Westerståhl, D.1
-
18
-
-
0001675084
-
From compositional to systematic semantics
-
Zadrozny, W., 1994, "From compositional to systematic semantics," Linguistics and Philosophy 17, 329-342.
-
(1994)
Linguistics and Philosophy
, vol.17
, pp. 329-342
-
-
Zadrozny, W.1
|