Residuation, structural rules and context freeness
Journal of Logic, Language and Information 13 (1):47-59 (2004)
| Abstract | The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRaimon Elgueta (1999). Freeness in Classes Without Equality. Journal of Symbolic Logic 64 (3):1159-1194.
Lloyd Humberstone (2007). Investigations Into a Left-Structural Right-Substructural Sequent Calculus. Journal of Logic, Language and Information 16 (2).
Gabriel Infante-Lopez & Maarten De Rijke (2006). A Note on the Expressive Power of Probabilistic Context Free Grammars. Journal of Logic, Language and Information 15 (3).
Francis Jeffry Pelletier (1988). Vacuous Relatives and the (Non-) Context-Freeness of English. Linguistics and Philosophy 11 (3):255 - 260.
Stuart M. Shieber (1985). Evidence Against the Context-Freeness of Natural Language. Linguistics and Philosophy 8 (3):333 - 343.
Piotr Wojtylak (1991). On Structural Completeness of Implicational Logics. Studia Logica 50 (2):275 - 297.
Philippe de Groote & Sylvain Pogodalla (2004). On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. Journal of Logic, Language and Information 13 (4).
C. J. Van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213 - 222.
C. J. van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213-222.
James Hull (2010). Let Freeness Ring: The Canadian Standard Freeness Tester as Hegemonic Engine. Spontaneous Generations 4 (1).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,684 of 549,754 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
