Syntax of first-order lattice valued logic system FM
Keywordslattice implication algebra lattice valued logic formal proof
Unable to display preview. Download preview PDF.
- 2.Xu Yang, Lattice implication algebras,J. of Southwest Jiaotong University (in Chinese), 1993, 28(1): 20.Google Scholar
- 3.Qin Keyun, Xu Yang, A lattice valued propositional logic system,Fuzy Systems and Mathematics (in Chinese), 1994, 8 (Supplement): 322.Google Scholar
- 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
© Science in China Press 1997