Results 61 to 70 of about 160,476 (167)
Polarized Classical Non-associative Lambek Calculus and Formal Semantics
, 2011 While initially motivated for studying natural language syntax, the intuitionistic bias underlying traditional Lambek calculi renders them particularly suitable to a Montagovian formal semantics through the Curry-Howard correspondence.
Overkoepelend onderzoeksprogramma UiL-OTS +3 more
core +1 more source
Journal of Child Psychology and Psychiatry, Volume 66, Issue 1, Page 64-74, January 2025.Background Cognitive‐behavioral therapy (CBT) is an evidence‐supported treatment for adolescents with binge‐eating disorder (BED). Executive dysfunctions, which are associated with binge eating and elevated body weight in youth, may undermine CBT outcomes by making it difficult for youth to engage with or adhere to treatment, including recalling and/or
Andrea B. Goldschmidt +5 more
wiley +1 more source
Blaming the house: women's efforts to preserve marriage in a rural Sinhala village
Journal of the Royal Anthropological Institute, Volume 30, Issue 4, Page 973-989, December 2024.Abstract In rural Sri Lanka, marital tension, frequently leading to violence, is an increasing problem. This article explores how the house becomes both the source of problems and a possible solution to them. By examining the way that the social, material, and symbolic dimensions of houses are made to interact, I show how women effect the shaping of ...
Tharindi Udalagama
wiley +1 more source
Lambek calculus is NP-complete
, 2003 We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L ∗ the derivability problem is NP-complete. It follows that also for the multiplicative fragments of cyclic linear logic and noncommutative linear logic the ...
Mati Pentus
core
Theory of Discontinuous Lambek Calculus [PDF]
, 2012 Aquesta tesi s'emmarca dins del camp de la lingüística matemàtica, concretament en la branca de la gramàtica lògica de tipus, disciplina íntimament relacionada amb la teoria de la demostració.
Valentín Gallart, Oriol
core
Product-Free Lambek Calculus Is NP-Complete
, 2009 In this paper we prove that the derivability problems for product-free Lambek calculus and product-free Lambek calculus allowing empty premises are NP-complete.
Yury Savateev
core
Theory of discontinuous Lambek calculus [PDF]
, 2013 Aquesta tesi s'emmarca dins del camp de la lingüística matemàtica, concretament en la branca de la gramàtica lògica de tipus, disciplina íntimament relacionada amb la teoria de la demostració. En aquest treball es proposa un càlcul o lògica substructural,
Universitat Autònoma de Barcelona. Departament de Filologia Catalana +1 more
core
The Lambek-Grishin Calculus Is NP-Complete [PDF]
, 2012 The Lambek-Grishin calculus LG is the symmetric extension of the non-associative Lambek calculus NL. In this paper we prove that the derivability problem for LG is NP-complete.
openaire +2 more sources
Preliminaries to the Lambek Calculus
, 2008 Summary. Some preliminary facts concerning completeness and decidability problems for the Lambek calculus [13] are proved as well as some theses and derived rules of the calculus itself.
Wojciech Zielonka, De Louvain
core
Vector Space Semantics for Lambek Calculus with Soft Subexponentials
, 2023 We develop a vector space semantics for Lambek Calculus with Soft Subexponentials, apply the calculus to construct compositional vector interpretations for parasitic gap noun phrases and discourse units with anaphora and ellipsis, and experiment with the
Sadrzadeh, Mehrnoosh +2 more
core