Categorial Grammar and Discourse



theorem, which has a surprisingly tedious proof, says that the function does
what it is intended to do.

Theorem. For all conditions γ and boxes Φ:

=AX λiφt = λij(Φ(i)(j))
=
AX λiγt = γ

References

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

[2] Barwise, J.:   1987, Noun Phrases, Generalized Quantifiers and

Anaphora, in P. Grdenfors (ed.), Generalized Quantifiers, Reidel, Dor-
drecht, 1-29.

[3] Van Benthem, J.F.A.K.: 1986, Essays in Logical Semantics, Reidel,
Dordrecht.

[4] Van Benthem, J.F.A.K.: 1988, The Lambek Calculus, in: R.E. Oehrle,
E. Bach and D. Wheeler (eds.), 1988,
Categorial Grammars and Natural
Language Structures,
Reidel, Dordrecht.

[5] Van Benthem, J.F.A.K.: 1991, Language in Action, North-Holland, Am-
sterdam.

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

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

[8] Groenendijk, J. and Stokhof, M.: 1990, Dynamic Montague Grammar,
in L. Klmn and L. Plos (eds.),
Papers from the Second Symposium on
Logic and Language,
Akadmiai Kiad, Budapest, 3-48.

[9] Groenendijk, J. and Stokhof, M.: 1991, Dynamic Predicate Logic, Lin-
guistics and Philosophy 14
, 39-100.

13



More intriguing information

1. The name is absent
2. The Institutional Determinants of Bilateral Trade Patterns
3. Consumer Networks and Firm Reputation: A First Experimental Investigation
4. The name is absent
5. Artificial neural networks as models of stimulus control*
6. Direct observations of the kinetics of migrating T-cells suggest active retention by endothelial cells with continual bidirectional migration
7. Ultrametric Distance in Syntax
8. Linking Indigenous Social Capital to a Global Economy
9. An institutional analysis of sasi laut in Maluku, Indonesia
10. Fortschritte bei der Exportorientierung von Dienstleistungsunternehmen