• DocumentCode
    2704593
  • Title

    Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters

  • Author

    Bou, Félix

  • Author_Institution
    Inst. d´´Investig. en Intelligencia Artificial, IIIA-CSIC, Bellaterra, Spain
  • fYear
    2010
  • fDate
    26-28 May 2010
  • Firstpage
    83
  • Lastpage
    88
  • Abstract
    In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above certain fixed number. This generalizes the approach considered in the infinite-valued Lukasiewicz logic, where the fixed number is the maximum.
  • Keywords
    Algebra; Books; Calculus; Filters; Lattices; Logic design; Logic functions;
  • 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.23
  • Filename
    5489223
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2704593