3 search results - page 1 / 1 » Paraconsistent Assertions |
MATES
2004
Springer
13 years 10 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
ICTAI
1996
IEEE
13 years 8 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
LACL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...