• DocumentCode
    2460014
  • Title

    Lattice valued model theory and its forcing

  • Author

    Fuxing, Shen

  • Author_Institution
    Beijing Normal Univ., China
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    155
  • Lastpage
    159
  • Abstract
    This is a continuation of a survey of results on the model theory of lattice-valued logic begun by S. Wang (see Int. Symp. Multivalued Logic, 1987). It covers finite forcing in lattice-valued model theory
  • Keywords
    many-valued logics; finite forcing; lattice-valued logic; lattice-valued model theory; model theory; Lattices; Testing;
  • 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.37776
  • Filename
    37776
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2460014