• DocumentCode
    2702832
  • Title

    Interpolation Properties for Uninorm Based Logics

  • Author

    Marchioni, Enrico ; Metcalfe, George

  • Author_Institution
    Artificial Intell. Res. Inst. (IIIA CSIC), Univ. Autonoma de Barcelona, Bellaterra, Spain
  • fYear
    2010
  • fDate
    26-28 May 2010
  • Firstpage
    205
  • Lastpage
    210
  • Abstract
    Craig and deductive interpolation properties are investigated for uninorm based fuzzy logics. In particular, it is shown that for a restricted language, the only extensions of monoidal t-norm logic with Craig interpolation are classical logic, Godel logic, and three-valued Godel logic. Quantifier elimination in an appropriate language and the amalgamation, deductive interpolation and Craig interpolation properties are established for the logics based on idempotent residuated uninorms with an involutive negation.
  • Keywords
    Artificial intelligence; Buildings; Context modeling; Electronics packaging; Fuzzy logic; Interpolation; Lattices; Mathematics; Ontologies; Reactive power; Craig Interpolation; Deductive Interpolation; Quantifier Elimination; Uninorm Based Logics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
  • Conference_Location
    Barcelona, Spain
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4244-6752-5
  • Type

    conf

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