Results 1 
3 of
3
Deduction in ManyValued Logics: a Survey
 Mathware & Soft Computing, iv(2):6997
, 1997
"... this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of man ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of manyvalued logics according to their intended application
A Resolution Calculus for Presuppositions
 Proceedings of the 12th ECAI
, 1996
"... . The semantics of everyday language and the semantics of its naive translation into classical firstorder language considerably differ. An important discrepancy that is addressed in this paper is about the implicit assumption what exists. For instance, in the case of universal quantification natura ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
. The semantics of everyday language and the semantics of its naive translation into classical firstorder language considerably differ. An important discrepancy that is addressed in this paper is about the implicit assumption what exists. For instance, in the case of universal quantification natural language uses restrictions and presupposes that these restrictions are nonempty, while in classical logic it is only assumed that the whole universe is nonempty. On the other hand, all constants mentioned in classical logic are presupposed to exist, while it makes no problems to speak about hypothetical objects in everyday language. These problems have been discussed in philosophical logic and some adequate manyvalued logics were developed to model these phenomena much better than classical firstorder logic can do. An adequate calculus, however, has not yet been given. Recent years have seen a thorough investigation of the framework of manyvalued truthfunctional logics. Unfortunately, restricted quantifications are not truthfunctional, hence they do not fit the framework directly. We solve this problem by applying recent methods from sorted logics.
Living with Paradoxes
"... A good knowledge representation system has to nd a balance between expressive power on the one hand and ecient reasoning on the other. Furthermore it is necessary to understand its limitations and problems. A logic which contains strings is very expressive and allows for very natural representation ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A good knowledge representation system has to nd a balance between expressive power on the one hand and ecient reasoning on the other. Furthermore it is necessary to understand its limitations and problems. A logic which contains strings is very expressive and allows for very natural representations, which in turn allow for appropriate reasoning patterns. However, such a system has the feature that it is possible to formulate selfreferential paradoxes in it. This can be considered as a strength and as a weakness at the same time. On the one hand it is a positive aspect that it is possible to represent paradoxes, which can be formulated in natural language. On the other hand it is necessary to be careful and not to trivialise the logical system. In the paper dierent aspects of knowledge representation which allows selfreferentiality will be discussed. A system will be presented which is a pragmatic compromise between expressive power on the one hand and simplicity and eciency of the reasoning process on the other hand. It is built on a threevalued system that makes it possible to use reasoning techniques from classical rstorder logic.