A logical system is presented that tolerates partial or total contradictions or incomplete information. Every set of formulas in such a system has a model. Other theoretical properties were also investigated concerning the generalization of the notion of contradiction from classical logic. Applications to knowledge representation were considered and a way was proposed to represent generic and explicit information while providing monotonic inference. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Nikolov, N. G. (2004). A logic of inequalities. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3192, pp. 116–125). Springer Verlag. https://doi.org/10.1007/978-3-540-30106-6_12
Mendeley helps you to discover research relevant for your work.