A Class of Strict-t-morms-based Propositional Logic
基于一类严格三角范数的命题逻辑

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