Type-theoretical grammar
by Ranta, Aarne
It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosop…
Read More ↓Title Statements
- Full title :Type-theoretical grammar / Aarne Ranta.
Summary
It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science.
Read More ↓Edition Statements
- Publication Date:1994.
Publication Statements
- Publisher(s):Clarendon Press
- Place of Publication:Oxford
- Language:eng
- Publication Date:1994.
The Physical Object
- Description:xii, 226 pages : : illustrations ; : 24 cm.
Edition Identifiers
- ISBN:019853857X, 9780198538578
- oclc:ocm31291468
- LC Classification:P151
- Dewey Decimal:415
Table of Contents
1. Preliminary remarks -- 2. Gradual introduction to type theory -- 3. Logical operators in English -- 4. Anaphoric expressions -- 5. Temporal reference -- 6. Text and discourse -- 7. Contexts and possible worlds -- 8. Higher-level type theory -- 9. Sugaring and parsing -- Appendix: Sugaring in ALF.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Type-Theoretical Grammar (Indices, 1 -- (.djvu)
DJVU · 2.4 MB · updated -
Type-theoretical grammar -- (.djvu)
DJVU · 2.3 MB · updated
Rate & Review