61 search results - page 2 / 13 » Tableaux for the Lambek-Grishin calculus |
102
Voted
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
100
Voted
TABLEAUX
1992
Springer
15 years 5 months ago
1992
Springer
102
click to vote
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
105
Voted
DLOG
2009
14 years 11 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...
113
click to vote
TABLEAUX
1999
Springer
15 years 6 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...