%0 Journal Article
%T A Class of Strict-t-morms-based Propositional Logic<br>基于一类严格三角范数的命题逻辑
%A LUO Min-Xia
%A HE Hua-Can
%A <br>罗敏霞
%A 何华灿
%J 计算机科学
%D 2008
%I 
%X Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logic, a negation is also definable from the implication and the truth cons
%K Universal conjunction model
%K Universal implication model
%K Strict t-norm
%K Basic strict fuzzy logic SBL<br>泛与运算模型
%K 泛蕴涵运算模型
%K 严格三角范数
%K 基本严格模糊逻辑SBL
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8CE592C6AD151067262AE4D1E81BBF9B&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=E158A972A605785F&sid=28F8B56DB6BEE30E&eid=6DE26652A1045643&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10