61 search results - page 2 / 13 » Tableaux for the Lambek-Grishin calculus |
TABLEAUX
2007
Springer
15 years 3 months ago
2007
Springer
TABLEAUX
1992
Springer
15 years 1 months ago
1992
Springer
TABLEAUX
1998
Springer
15 years 1 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
DLOG
2009
14 years 7 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
TABLEAUX
1999
Springer
15 years 1 months ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...