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).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Translate to english
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,220
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
A Formal Treatment of the Causative Constructions in Chinese.Zou Chongli & Xia Nianxi - 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 - 2005 - 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.

Monthly downloads

Added to index

2010-12-22

Total downloads

14 ( #331,377 of 2,164,581 )

Recent downloads (6 months)

1 ( #347,948 of 2,164,581 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums