Syntactic Extension of Lattice-valued Propositional Logic LP(X)
Syntactic Extension of Lattice-valued Propositional Logic LP(X)
摘要
We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.
基金
Supported by the National Natural Science Foundation of China(60474022)
共引文献320
-
1王轶中.格蕴涵代数的犹豫模糊理想格[J].模糊系统与数学,2023,37(5):1-9.
-
2彭家寅,刘淼,汤建钢.基于完备剩余格值逻辑的BCI-代数的三种模糊理想[J].模糊系统与数学,2023,37(4):1-16.
-
3朱华,赵建彬,徐扬.剩余格蕴涵代数中n-重素滤子的研究[J].郑州大学学报（理学版）,2008,40(1):19-22. 被引量：6
-
4朱怡权,牛冀平.蕴涵格的同余关系及熵蕴涵格[J].应用数学,2001,14(S1):175-179.
-
5龙希庆.N元格蕴涵代数不等式的解Ⅱ[J].宜宾学院学报,2011,11(12):4-6.
-
6朱怡权.关于格上蕴涵代数及其对偶代数[J].Journal of Mathematical Research and Exposition,2004,24(3):549-555. 被引量：4
-
7王丰效.关于弱FI代数的几个结果[J].固原师专学报,2002,23(3):6-8.
-
8王丰效,尤飞.关于弱FI代数的几个结果[J].榆林高等专科学校学报,2002,12(4):44-45.
-
9马骏,徐扬.关于格蕴涵代数的余元及结构[J].模糊系统与数学,2005,19(1):49-56. 被引量：4
-
10郑慕聪,王国俊.正则余剩余格的特征及其应用[J].自然科学进展,2005,15(5):617-620. 被引量：8
-
1SONG Qing-loug LI Chun-rui ZHAO Guang-feng.L-fuzzy Lattice Implication Algebra[J].Chinese Quarterly Journal of Mathematics,2006,21(2):246-251.
-
2WANG Xue-fang,ZHENG Feng-bin,XU Yang.Closure Operators of Lattice-valued Propositional Logic LP(X)[J].Chinese Quarterly Journal of Mathematics,2005,20(3):301-308.
-
3PAN XiaoDong,MENG Dan,XU Yang.Syntax theory of finite lattice-valued propositional logic[J].Science China(Information Sciences),2013,56(8):173-184.
-
4张松懋.Forest Grammar (Ⅱ)[J].Science China Mathematics,1994,37(8):998-1008.
-
5SHU Lan1, PENG Jia-yin21.Dept. of Applied Math., University of Electronic Science and Technology of China, Chengdu 610054, China2.Department of Mathematics, Neijiang Teacher′s College, Sichuan Neijiang 614002, China.Fuzzy Syntactic Congruence and Rational Fuzzy Languages[J].Systems Science and Systems Engineering,2002,11(4):393-396.
-
6瞿裕忠,王志坚,徐家福.A mathematical model of inheritance[J].Science China(Technological Sciences),1996,39(1):17-26.
-
7LIN Daofa, YANG Jiayuan, LUO Wanbo WANG Gendong(Sichuan University. Chengdu 610064).Study on the continuous Chinese speech recognition system for speaker-dependent and topic-constrained application[J].Chinese Journal of Acoustics,1992,11(4):371-375.
-
8林作铨.A modal nonmonotonic logic[J].Science China(Technological Sciences),1996,39(3):303-321.
