Results 81 to 90 of about 2,544 (97)
Some of the next articles are maybe not open access.
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
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Studia Logica, 2013Michael Kaminski, Nissim Francez
exaly
The Lambek Calculus Extended with Intuitionistic Propositional Logic
Studia Logica, 2016Michael Kaminski, Nissim Francez
exaly
Bracket Induction for Lambek Calculus with Bracket Modalities
Lecture Notes in Computer Science, 2018Glyn Verden Morrill +2 more
exaly
Lambek Calculus and its relational semantics: Completeness and incompleteness
Journal of Logic, Language and Information, 1994exaly