• DocumentCode
    477695
  • Title

    Models for Lattice-Valued First-Order Logic LF(X)

  • Author

    Liu, Pei-shun ; Wang, Xue-fang

  • Author_Institution
    Dept. of Comput. Sci., Ocean Univ. of China, Qingdao
  • Volume
    1
  • fYear
    2008
  • fDate
    18-20 Oct. 2008
  • Firstpage
    335
  • Lastpage
    339
  • Abstract
    In this paper, we focus on models for lattice-valued first-order logic LF(X). First, we present some basic notions, operations on models, and basic relations among models, such as isomorphisms, submodels and extensions, etc. Then we discuss their properties and the truth values of formulas under these models. Finally, we give elementary chain theorem.
  • Keywords
    fuzzy logic; elementary chain theorem; fuzzy logic; lattice-valued first-order logic model; truth value; Algebra; Computer science; Fuzzy control; Fuzzy logic; Fuzzy systems; Lattices; Logic functions; Mathematical model; Oceans; Uncertainty; Lattice-valued logic; elementary chain; extensions; homomorphisms; models; submodels;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
  • Conference_Location
    Shandong
  • Print_ISBN
    978-0-7695-3305-6
  • Type

    conf

  • DOI
    10.1109/FSKD.2008.382
  • Filename
    4665995
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=477695