63 search results - page 7 / 13 » Distance-based paraconsistent logics |
JANCL
2008
13 years 7 months ago
2008
AMAI
2002
Springer
13 years 7 months ago
2002
Springer
FSS
2010
13 years 6 months ago
2010
JOLLI
2008
13 years 7 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...