Add to ORKGIt is well known that the Lambek Grammars are weakly equivalent to the Context-Free Grammars (CFGs, Pentus 1993, 1997), and that testing string membership with a CFG is in P (Earley 1970). Nevertheless, Pentus (2003) has recently proven that sequent derivability in the Lambek Calculus with product is NPcomplete. The complexity of the corresponding problem for the product-free fragment remains unknown
Abstract. We consider bounded versions of undecidable problems about context-free languages which re...
AbstractFinding solutions to a constraint satisfaction problem is known to be an NP-complete problem...
Abstract. We provide a graphical representation of proofs in the product-free Lambek calculus, calle...
It is well known that the Lambek Grammars are weakly equivalent to the Context-Free Grammars (CFGs, ...
this paper, when we mention the Lambek Calculus (LC) or Lambek Grammars (LG), we are referring to th...
AbstractIn this paper, we prove that the derivability problems for product-free Lambek calculus and ...
In this paper we prove that the derivability problems for product-free Lambek calculus and product-f...
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as l...
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as l...
A revised version will appear in a volume in honour of Lambek 90th birthdayInternational audienceIn ...
Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard fre...
Summary. Fifth of a series of articles laying down the bases for classical first order model theory....
We study Nonassociative Lambek Calculus with additives ∧,∨, sat-isfying the distributive law (Full N...
The satisfiability problem is known to be NP-complete in general and for many restricted instances, ...
Abstract. The standard reasoning problem, concept satisfiability, in the basic description logic ALC...
Abstract. We consider bounded versions of undecidable problems about context-free languages which re...
AbstractFinding solutions to a constraint satisfaction problem is known to be an NP-complete problem...
Abstract. We provide a graphical representation of proofs in the product-free Lambek calculus, calle...
It is well known that the Lambek Grammars are weakly equivalent to the Context-Free Grammars (CFGs, ...
this paper, when we mention the Lambek Calculus (LC) or Lambek Grammars (LG), we are referring to th...
AbstractIn this paper, we prove that the derivability problems for product-free Lambek calculus and ...
In this paper we prove that the derivability problems for product-free Lambek calculus and product-f...
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as l...
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as l...
A revised version will appear in a volume in honour of Lambek 90th birthdayInternational audienceIn ...
Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard fre...
Summary. Fifth of a series of articles laying down the bases for classical first order model theory....
We study Nonassociative Lambek Calculus with additives ∧,∨, sat-isfying the distributive law (Full N...
The satisfiability problem is known to be NP-complete in general and for many restricted instances, ...
Abstract. The standard reasoning problem, concept satisfiability, in the basic description logic ALC...
Abstract. We consider bounded versions of undecidable problems about context-free languages which re...
AbstractFinding solutions to a constraint satisfaction problem is known to be an NP-complete problem...
Abstract. We provide a graphical representation of proofs in the product-free Lambek calculus, calle...