研究了Schweizer-Sklar T-范数(本文讨论p＜0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,......

证明了LΠ是Schweizer—Sklar参数化三角模及其剩余算子的逻辑。这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......