Searching for "Proof Nets for Lambek Calculus." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets
- …Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets 1 Introduction…
- Add To MetaCart
-
Incremental Parsing Of Lambek Calculus Using Proof-Net Interfaces
- …INCREMENTAL PARSING OF LAMBEK CALCULUS USING PROOF-NET INTERFACES Denis Bechet IRISA { INRIA…
- Add To MetaCart
-
Proof nets for the Lambekcalculus — an overview
- …Proof nets for the Lambek calculus — an overview François Lamarche and Christian Retoré {lamarche…
- Cited by 12 (2 self) – Add To MetaCart
-
Constructing Different Phonological Bracketings From a Proof-Net
- …]. Girard's proof-nets have been subsequently adapted to the Lambek calculus by Roorda [16] and, since then…
- Cited by 1 (0 self) – Add To MetaCart
-
A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
- …] used a chart-like representation in combination with proof nets for the Lambek Calculus [14]. Penn [10…
- Cited by 3 (1 self) – Add To MetaCart
-
Generation, Lambek Calculus, Montague's Semantics
- …Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets Abstract Most…
- Add To MetaCart
-
Clausal Proofs and Discontinuity
- … permutations. 9 5 Proof Nets for Lambek Calculus In the previous section proof nets were given by moving all…
- Cited by 11 (3 self) – Add To MetaCart
-
Clausal Proof Nets and Discontinuity
- … permutations. 6 Proof Nets for Lambek Calculus In the previous section proof nets were given by moving all…
- Cited by 1 (0 self) – Add To MetaCart
-
On the semantic readings of proof-nets
- … exponential linear logic (IIELL, for short). 4.2 Proof-Nets for the Lambek calculus Proof-nets for the lambek…
- Cited by 12 (0 self) – Add To MetaCart
-
unknown title
- …=B]]+ = [[B]]\Gamma &[[A]]+ The above translation allows proof-nets for the Lambek calculus to be defined[7…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
