Semantics and stratification

Journal of Logic and Computation

Volumn 15, Issue 2, 2005, Pages 145-158

  Tukner, Raymond ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Intensionality; Semantics; Stratification; Type theory; Types

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL GRAMMARS; FORMAL LANGUAGES; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; SET THEORY; SYNTACTICS;

INTENSIONALITY; STRATIFICATION; TYPE THEORY; TYPES;

SEMANTICS;

EID: 20844459539     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/exi007     Document Type: Conference Paper

References (22)

1. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory. Academic Press, 1986.
2. P. Aczel. Algebraic semantics for intensional logics. In Properties, Types and Meaning Vol. 1, G. Chierchia, B. Partee, R. Turner, eds, pp. 17-45. Kluwer Academic Publishers, 1988.
3. R. Berretta. Semantics in Martin-Löfs Type Theories. Essex MSc dissertation, 1988.
4. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 56-68, 1940.
5. R. Cooper. Records and record types in semantic theory. Journal of Logic and Comptuation, 15, 97-110, 2005.
6. S. Feferman. Constructive theories of functions and classes. Logic Colloquium '78, M. Boffa, D. van Dalen and K. McAloon. eds., pp. 159-224. North Holland Studies in Logic, North Holland, Amsterdam, 1979.
7. C. Fox and S. Lappin. Underspecified semantic interpretations in a Curry-typed representation language. Journal of Logic and Comptuation, 15, 129-141, 2005.
8. M. Randell Homes. Polymorphic type-checking for the ramified theory of ypes of Principia Mathmatica. In Thirty Five Years of Automation Mathematics, F. Kamareddine, ed., pp. 173-215. Kluwer, 2003.
9. F. Karareddine, T. Laan, and R. Nederpelt. Types in mathematics and logic before 1940, Bulletin of Symbolic Logic, 8, 185-245, 2002.
10. S. Peyton-Jones. Haskel 98: Language and Libraries. Cambridge University Press. 2003
11. P. Martin-Löf. An intuitionistic theory of types. Predicative part. In Logic Colloquim 1973, Rose and J.C Sheperdson, eds., North Holland, 1975.
12. R. Montague. The proper treatment of quantification in ordinary English. In Approaches to Natural Language, J. Hintikka et al, eds., Dordrecht, 1973.
13. R. Montague. A universal grammar. Theoria, 36, 373-390, 1970.
14. A. Ranta. Type Theoretical Grammar. Clarendon Press, Oxford. 1994.
15. G. Sundholm. Constructie generalised qunatifiers. Synthese, 79, 1-12, 1989.
16. A. Troelstra and D. van Dalen. Constructivism in Mathematics: An Introduction. North Holland Studies in Logic. Vol 121. North Holland, Amsterdam.
17. R. Thomason. A model theory for the prepositional attitudes. Linguistics and Philosophy, 4, 47-70, 1980.
18. R. Thomason. Motivating ramified type theory. In Properties, Types and Meaning Vol. 1., G. Chierchia, B. Partee and R. Turner, eds., pp. 47-62. Kluwer, Dordrecht, 1988.
19. S. Thompson. Type Theory and Functional Programming, Addison Wesley, 1991.
20. R. Turner. A theory of properties. Journal of Symbolic Logic, 52, 445-472, 1987.
21. R. Turner. Types. In Handbook of Logic and Language, J. Van Benthem and A. ter Meulen, eds., MIT Press, 1997.
22. J. van Eijck. Normal forms for characteristic functions on n-ary relations. Journal of Logic and Computation, 15, 83-96, 2005.