Advertisement

Chinese Science Bulletin

, Volume 42, Issue 16, pp 1337–1340 | Cite as

Syntax of first-order lattice valued logic system FM

  • Yang Xu
  • Keyun Qin
  • Zhenming Song
Bulletin

Keywords

lattice implication algebra lattice valued logic formal proof 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Pavelka, J., On fuzzy logic I, U, m,Zeitschrift für math. Logik und Grundlagen d. Math., 1979, 25:45, 119, 447.CrossRefGoogle Scholar
  2. 2.
    Xu Yang, Lattice implication algebras,J. of Southwest Jiaotong University (in Chinese), 1993, 28(1): 20.Google Scholar
  3. 3.
    Qin Keyun, Xu Yang, A lattice valued propositional logic system,Fuzy Systems and Mathematics (in Chinese), 1994, 8 (Supplement): 322.Google Scholar
  4. 4.
    Qin Keyun, Xu Yang, On the semantics of first order lattice valued logic system FM, inProc. of Celebration of Southwest Jiaotong University’s Centenary (Special Issue for Graduate Students) (in Chinese), Chengdu: Press of Southwest Jiaotong University, 1996: 300–304.Google Scholar

Copyright information

© Science in China Press 1997

Authors and Affiliations

  • Yang Xu
    • 1
  • Keyun Qin
    • 1
  • Zhenming Song
    • 1
  1. 1.Department of Applied MathematicsSouthwest Jiaotong UniversityChengduChina

Personalised recommendations