• DocumentCode
    2671340
  • Title

    Automated Reasoning in Some Local Extensions of Ordered Structures

  • Author

    Sofronie-Stokkermans, Viorica ; Ihlemann, Carsten

  • Author_Institution
    Max-Planck-Inst. fur Inf., Saarbrucken
  • fYear
    2007
  • fDate
    13-16 May 2007
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or with monotonicity axioms). We show that such extensions are local and, hence, efficient methods for hierarchical reasoning exist in all these cases.
  • Keywords
    inference mechanisms; process algebra; automated reasoning; definitional extensions; hierarchical reasoning; local extensions; monotonicity axioms; ordered algebraic structures; Boolean algebra; Lattices; Logic functions; Polynomials; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2007. ISMVL 2007. 37th International Symposium on
  • Conference_Location
    Oslo
  • ISSN
    0195-623X
  • Print_ISBN
    0-7695-2831-7
  • Type

    conf

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