• DocumentCode
    2136374
  • Title

    Non archimedean models of Lukasiewicz logic

  • Author

    Nola, Antonio Di

  • Author_Institution
    Istituto di Matematica, Universita di Napoli, Italy
  • fYear
    1996
  • fDate
    29-31 May 1996
  • Firstpage
    32
  • Lastpage
    36
  • Abstract
    We survey the theory of non-archimedean algebraic models (MV-algebra) of Lukasiewicz´ infinite-valued sentential calculus
  • Keywords
    Boolean algebra; Boolean functions; multivalued logic; Lukasiewicz logic; MV-algebra; infinite-valued sentential calculus; nonarchimedean algebraic models; Boolean algebra; Calculus; Equations; Kernel; Lattices; Logic functions; Topology;
  • 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.508332
  • Filename
    508332
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2136374