On the Axiomatic System of SBL(sic)-algebras
SBL(sic)-algebras were introduced as algebraic models for the basic strict fuzzy logic SBL extended with an involutive negation. The open problemof a minimal independent axiomatic system of the SBL(sic)-algebras is resolved in the paper.
sbl(sic)-algebra t-norm involutive residuated lattice