On the Axiomatic System of SBL¬algebras
Filip Švrček · Fundamenta Informaticae · 2008
SBL¬-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¬-algebras is resolved in the paper.