Results 121 to 130 of about 107,210 (140)
Some of the next articles are maybe not open access.
The Multimodal Lambek Calculus
2012The multimodal Lambek calculus extends the (non-associative) Lambek calculus in two ways. First, it provides a way of mixing different resource management possibilities — for example associative and non-associative or commutative and non-commutative — without collapse, that is to say that associativity can be valid for certain formulae but not for ...
Richard Moot, Christian Retoré
openaire +1 more source
Conjoinability in 1-Discontinuous Lambek Calculus
2014In the present work we prove a conjoinability criterion for 1-discontinuous Lambek calculus. It turns out that types of this calculus are conjoinable if and only if they have the same sort and the same interpretation in the free abelian group generated by the primitive types.
openaire +1 more source
The Monotone Lambek Calculus Is NP-Complete
2014We consider the Lambek calculus with the additional structural rule of monotonicity (weakening). We show that the derivability problem for this calculus is NP-complete (both for the full calculus and for the product-free fragment). The same holds for the variant that allows empty antecedents.
openaire +1 more source
Language models for some extensions of the Lambek calculus
Information and Computation, 2022André Ščedrov +2 more
exaly
Complexity of the Lambek Calculus and Its Extensions
Studies in Computational Intelligence, 2023Stepán Kuznetsov, Kuznetsov Stepán L
exaly
The Lambek Calculus Extended with Intuitionistic Propositional Logic
Studia Logica, 2016Nissim FRANCEZ +2 more
exaly
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Studia Logica, 2013Nissim FRANCEZ +2 more
exaly