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. Stillbirth in a Tertiary Care Referral Hospital in North Bengal - A Review of Causes, Risk Factors and Prevention Strategies
3. The problem of anglophone squint
4. Expectations, money, and the forecasting of inflation
5. LIMITS OF PUBLIC POLICY EDUCATION
6. Voting by Committees under Constraints
7. Asymmetric transfer of the dynamic motion aftereffect between first- and second-order cues and among different second-order cues
8. Artificial neural networks as models of stimulus control*
9. Testing Panel Data Regression Models with Spatial Error Correlation
10. The name is absent
11. The name is absent
12. The name is absent
13. The Modified- Classroom ObservationScheduletoMeasureIntenticnaCommunication( M-COSMIC): EvaluationofReliabilityandValidity
14. The name is absent
15. The name is absent
16. New issues in Indian macro policy.
17. Gender and headship in the twenty-first century
18. The name is absent
19. Ability grouping in the secondary school: attitudes of teachers of practically based subjects
20. Large Scale Studies in den deutschen Sozialwissenschaften:Stand und Perspektiven. Bericht über einen Workshop der Deutschen Forschungsgemeinschaft