• DocumentCode
    2460213
  • Title

    A proof of an omitting types theorem in lattice valued model theory

  • Author

    Shiqiang, Wang

  • Author_Institution
    Dept. of Math., Beijing Normal Univ., China
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    231
  • Lastpage
    234
  • Abstract
    A proof is presented for an omitting types theorem in lattice-valued model theory. The theorem was announced by the author previously (see Proc. 18th Symposium on Multiple-value Logic, Palma de Mallorca (1988)) with proof
  • Keywords
    many-valued logics; lattice valued model theory; omitting types theorem; Iron; Lattices; Mathematical model; Mathematics; Terminology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    0-8186-1947-3
  • Type

    conf

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