NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Lambek calculus"”.

  1. Subexponentials in Nonassociative Lambek Calculus

    Blaisdell, Eben2024

    We focus on a family on noncommutative nonassociative substructural logics enriched with subexponentials, unary modalities licensing local application of structural rules. Primarily, we prove upper and lower bounds on complexity of provability in a broad class of these logics. To uniformly frame …

    penn Repository record

  2. The non-associative Lambek calculus: logic, linguistic and computational properties

    Capelletti, Matteo <1977>Alma Mater Studiorum - Università di Bologna2007

    bologna Repository record

  3. Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos

    Jiménez Millán, José Antonio2003

    … multiple systems of semantic labelling for the Lambek Calculus (LC) and thus, lack of precise definition for the spurious ambiguity, (d) efficiency and robustness of parsing algorithms.We start dealing with the possible use of LC in CFG, and we conclude that this is possible. This is proved by …

    cadiz Repository record

  4. Pełny niełączny rachunek Lambeka z modalnościami i jego zastosowania w gramatykach typów

    Lin, Zhe2016

    amu-pl