Anaphora and Type Logical Grammar

Abstract

(2) Type Logical Grammar (Moortgat & Oehrle 1994, Morrill 1994. Moortgat 1996): i. Grammar as a deductive system; variant of linear logic; two deductive rules for each type constructor (=; n; ): elimination ( modus ponens) and introduction ( rule of conditional proof).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A formal treatment of the causative constructions in chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.
Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
Syntax and semantics: an overview.Arnim von Stechow - 2012 - In Klaus von Heusinger, Claudia Maienborn & Paul Portner (eds.), Semantics: An International Handbook of Natural Language Meaning. De Gruyter Mouton.
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.

Analytics

Added to PP
2010-12-22

Downloads
15 (#809,217)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references