## Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing

- MICHAIL FLOURIS, TSUYOSHI MORIOKA, +6 authors GeraldPenn
- 2003

Highly Influenced

2 Excerpts

- Published 1996

We study the computational complexity of the parsing problem of a variant of Lambek Categorial Grammar that we call semidirectional. In semidirectional Lambek calculus SDL there is an additional non-directional abstraction rule allowing the formula abstracted over to appear anywhere in the premise sequent's left-hand side, thus permitting non-peripheral extraction. SDL grammars are able to generate each context-free language and more than that. We show that the parsing problem for semidirectional Lambek Grammar is NP-complete by a reduction of the 3-Partition problem.

@inproceedings{Orre1996ParsingFS,
title={Parsing for Semidirectional Lambek Grammar Is Np-complete},
author={Jochen Dd Orre},
year={1996}
}