• DocumentCode
    2136898
  • Title

    Rational transitivity and its models

  • Author

    Bezzazi, Hassan ; Perez, R.P.

  • Author_Institution
    Fac. de Droit, Lille I Univ., Villeneuve d´´Ascq, France
  • fYear
    1996
  • fDate
    29-31 May 1996
  • Firstpage
    160
  • Lastpage
    165
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
  • Conference_Location
    Santiago de Compostela
  • ISSN
    0195-623X
  • Print_ISBN
    0-8186-7392-3
  • Type

    conf

  • DOI
    10.1109/ISMVL.1996.508354
  • Filename
    508354
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2136898