61 search results - page 2 / 13 » Tableaux for the Lambek-Grishin calculus |
TABLEAUX
2007
Springer
14 years 2 months ago
2007
Springer
TABLEAUX
1992
Springer
14 years 17 days ago
1992
Springer
TABLEAUX
1998
Springer
14 years 3 days ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
DLOG
2009
13 years 6 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
14 years 23 days 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...