中国科学院数学与系统科学研究院期刊网
强正则剩余格值逻辑系统L~N及其完备性
裴道武
A Logic System Based on Strong Regular Residuated Lattices and Its Completeness
Dao Wu PEI
数学学报 . 2002, (4): 745 -752 .  DOI: 10.12386/A2002sxxb0097