4 search results - page 1 / 1 » Deep Inference for Automated Proof Tutoring |
KI
2007
Springer
13 years 10 months ago
2007
Springer
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Jer
CSL
2004
Springer
13 years 10 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
WOLLIC
2009
Springer
13 years 11 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...