Besnard, Philippe and Moinard, Yves
Implication connectives for logic with right weakening
, IPMU'94 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems), in Advances in Intelligent Computing, selected papers of IPMU'94, LNCS No 945 , Springer-Verlag , Paris, July 1994 , 360--369 , 1995

Abstract We study non-monotonic inference relations, focusing on the properties of the underlying monotonic consequence relation. This sheds new light on the general properties that may or may not be satisfied by a non-monotonic relation. We let the underlying consequence relation to be any monotonic logic, indicating under what precise conditions it gives rise to a non-monotonic inference relation that obeys major principles such as right weakening and the rule of detachment. We begin to explore the border line that non-monotonic relations cannot cross if they are to enjoy these properties. This work may be considered either as a constructive opposition, or as a complement, to the previous work about the general properties of non-monotonic inference relations.


This web site is maintained by René Quiniou using the Weave system
from the Caravel project: http://www-caravel.inria.fr.
Last modification: 10-07-2011 09:54:25