Lattice-Valued Proposition Logic(Ⅱ)
Lattice-Valued Proposition Logic(Ⅱ)出 版 物：《Journal of Modern Transportation》 (现代交通学报（英文版）)
年 卷 期：1994年第11卷第1期
页 面：22-27页
学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学]
主 题：Lattice-valued proposition algebra fromal proof fromal theorem
摘 要：In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.
维普期刊数据库
同方期刊数据库