Results 151 to 160 of about 160,476 (167)
Some of the next articles are maybe not open access.
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later
Workshop on Logic, Language, Information and Computation, 2019M. Kanovich, S. Kuznetsov, A. Scedrov
semanticscholar +1 more source
The Conjoinability Relation in Discontinuous Lambek Calculus
2014In 2013 Sorokin proved that the criterion of type conjoinability in 1-discontinuous Lambek calculus is the equality of interpretations in the free abelian group generated by primitive types. We extend the method to obtain the analogous result in full discontinuous Lambek calculus.
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
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit
Workshop on Logic, Language, Information and Computation, 2019M. Kanovich, S. Kuznetsov, A. Scedrov
semanticscholar +1 more source
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Studia Logica, 2013Michael Kaminski +2 more
exaly
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
Journal of Logic, Language and Information, 2017C. Wurm
semanticscholar +1 more source
The Lambek Calculus Extended with Intuitionistic Propositional Logic
Studia Logica, 2016Michael Kaminski +2 more
exaly
Normal form of derivations in the nonassociative and commutative lambek calculus with product
Mathematical Logic Quarterly, 1993Maciej Kandulski
exaly