3044 search results - page 55 / 609 » Linear logical approximations |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
ICLP
2010
Springer
14 years 22 days ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
AMAI
2006
Springer
13 years 9 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B