陕西师范大学学报(自然科学版)2003,Vol.31Issue(3):28-31,42,5.
关于形式系统L*及R0-代数的若干结果
Some results on formal systemL*and R0-algebra
王保社 1张小红2
作者信息
- 1. 咸阳师范学院数学系,陕西,咸阳,712000
- 2. 宁波大学理学院,浙江,宁波,315211
- 折叠
摘要
关键词
模糊逻辑/形式演绎系统/R0-代数/BCK-代数分类
数理科学引用本文复制引用
王保社,张小红..关于形式系统L*及R0-代数的若干结果[J].陕西师范大学学报(自然科学版),2003,31(3):28-31,42,5.