Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Type Theoretical Grammar

Front Cover
1 Review
Clarendon Press, 1994 - History - 226 pages
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. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Intuitionistic type theory
Intuitionistic type theory
Per Martin-Löf
Snippet view - 1984
Types for Proofs and Programs: International Workshop TYPES '94, Bastad ...
Types for Proofs and Programs: International Workshop TYPES '94 ..., Volume 2
Peter Dybjer,Bengt Nordström,Jan Smith
Limited preview - 1995
Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
Giovanni Sambin,Jan M. Smith
No preview available - 1998
All related books »

Other editions - View all

Type Theoretical Grammar
Type Theoretical Grammar
Aarne Ranta
No preview available - 1994

References to this book

From other books

Types and Programming Languages
Types and Programming Languages
Benjamin C. Pierce
Limited preview - 2002
Formal Aspects of Context
Formal Aspects of Context
Pierre Bonzon,Marcos Cavalcanti,Rolf Nossum
Limited preview - 2000
All Book Search results »

From Google Scholar

Quantifiers In Formal And Natural Languages
DAG WESTERSTAHL
Grammatical Framework
AARNE RANTA - 2004 - Journal of Functional Programming
Clarification, Ellipsis, and the Nature of Contextual Updates in ...
Jonathan Ginzburg, Robin Cooper - 2004 - Linguistics and Philosophy
Towards Abstract Categorial Grammars
Philippe de Groote
All Scholar search results »

References from web pages

Grammatical Framework: A Type-Theoretical Grammar Formalism ...
Grammatical Framework GF is a special purpose functional language for defining grammars. It uses a Logical Framework LF for a description of abstract syntax ...
citeseer.ist.psu.edu/ 610297.html

List of publications
Grammatical Framework: A Type-Theoretical Grammar Formalism. .... A. Ranta. Type Theoretical Grammar. Oxford University Press, Oxford, 1994. ...
www.cs.chalmers.se/ ~aarne/ doc/ publications.html

Grammatical Framework
A Type-Theoretical Grammar Formalism. AARNE RANTA. Department of Computing Science,. Chalmers University of Technology and the University of Gothenburg, ...
journals.cambridge.org/ article_S0956796803004738

Features in Abstract and Concrete Syntax
Type Theoretical Grammar. Oxford. University Press. A. Ranta. 2004. Grammatical Framework: A Type-. theoretical Grammar Formalism. The Journal of ...
www.cst.dk/ anders/ publ/ tfsg/ ranta07.pdf

COMPUTATIONAL SEMANTICS IN TYPE THEORY Aarne RANTA summary ...
We have previously studied a Montague-style type-theoretical grammar of French in ...... RANTA A., Type Theoretical Grammar, Oxford University Press, 1994. ...
www.ehess.fr/ revue-msh/ pdf/ N165R925.pdf

Semantical BNF
type theoretical grammar, which is a categorial grammar designed for ... BNF applies type theoretical grammar to formal languages, in particular ...
www.springerlink.com/ index/ c1406u0827765jw7.pdf

Type-theoretical grammar
Type-theoretical grammar. Purchase this Book · Purchase this Book. Source. Pages: 226. Year of Publication: 1995. ISBN:0-19-853857-X ...
portal.acm.org/ citation.cfm?id=204532

Ranta: Structures grammaticales dans le français mathématique : I
Recherche et téléchargement d’archives de revues mathématiques numérisées. Accueil · Collections · Rechercher un article · A propos · Boîte à outils ...
www.numdam.org/ numdam-bin/ fitem?id=MSH_1997__138__5_0

L’approche constructive de la référence
A. Ranta, Type-theoretical Grammar, Oxford, Clarendon, 1994. G. Sundholm, “Proof theory and meaning”, Gabbay, D. and Guenthner, F.(eds. ...
www.lalic.paris4.sorbonne.fr/ ~boldini/ Papers/ jussieu.ppt

Abstract Categorial Grammars ESSLLI Notes (2005, Edinburgh, Scotland)
Ranta, A.: 1994, Type Theoretical Grammar, Oxford University Press. ..... Ranta, A.: 2002, Grammatical Framework: A type-theoretical grammar formalism, ...
www.loria.fr/ equipes/ calligramme/ acg/ publications/ esslli-2005-reader.pdf

About the author (1994)

Aarne Ranta is at University of Helsinki.

Bibliographic information

QR code for Type Theoretical Grammar
TitleType Theoretical Grammar
Volume 1 of Indices (Claredon)
Volume 1 of Indices (Oxford, England)
Issue 1 of Indices, 1
Oxford science publications
AuthorAarne Ranta
Editionillustrated, reprint
PublisherClarendon Press, 1994
ISBN019853857X, 9780198538578
Length226 pages
Subjects ›  › 

Computers / Logic Design
History / Europe / Russia & the Former Soviet Union
Language Arts & Disciplines / Grammar & Punctuation
Mathematics / Logic
  
Export CitationBiBTeX EndNote RefMan