MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Constructing dioeerent phonological bracketings from a proof-net

Download:
Download as a PDF | Download as a PS
by Denis Bechet, Projet Calligramme
http://www.loria.fr/~degroote/papers/lacl96.ps
Add To MetaCart

Abstract:

Abstract. We state and prove Roorda's interpolation theorem in the framework of proof-net theory. This allows us to transform any proofnet into some other proof-net that matches some given (phonological or prosodic) bracketing. 1

Citations

378 The Mathematics of Sentence Structure – Lambek - 1958
179 Categorial type logics – Moortgat - 1997
111 Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris – Moortgat - 1988
105 The structure of multiplicatives – Danos, Regnier - 1989
56 Resource Logics: Proof-theoretical Investigations – Roorda - 1991
25 Pomset logic as an alternative categorial grammar – Lecomte, Retoré - 1995
18 Generative power of categorial grammars – Buszkowski - 1988
18 Quantifiers in linear logic II – Girard - 1991
17 On the semantic readings of proof-nets – Groote, Retoré - 1996
16 Memoisation of categorial proof nets: Parallelism in categorial processing – Morrill - 1996
4 Une application de la logique lin#aire # l'#tude des processus de normalisation et principalement du lambda calcul. Th#se de doctorat, Universit# de Paris VII – Danos - 1990
2 Calcul de lambek et logique linaire. Traitement Automatique des Langues – Retor - 1996
1 Private communication – Fleury
1 Prosodie et strat#gie de calcul. Communication # la journ#e ATALA iInteraction prosodie-syntaxej, F#vrier – Lecomte - 1996
1 Des r#seaux de d#monstration pour la linguistique: une introduction # la logique lin#aire. Traitement Automatique de Langues – Retor - 1996
View or Download | Add to My Collection | Correct Errors