Abstract: 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

Key words: Universal conjunction model, Universal implication model, Strict t-norm,Basic strict fuzzy logic SBL