Title :
Rational transitivity and its models
Author :
Bezzazi, Hassan ; Perez, R.P.
Author_Institution :
Fac. de Droit, Lille I Univ., Villeneuve d´´Ascq, France
Abstract :
We study here the Preferential Logic enriched by a rule called rational transitivity. We prove that the preferential relations satisfying this new rule are stronger than rational relations. Our main result is a representation theorem for these new relations. As a corollary we obtain the equivalence between the rational transitivity and a form of contraposition
Keywords :
formal logic; nonmonotonic reasoning; contraposition; equivalence; preferential logic; rational transitivity; representation theorem; Birds; Heart; Logic; Standards development;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508354
