Abstract
The many-valued propositional logic BL (basic fuzzy logic) is investigated. It is known to be complete for tautologies over BL-algebras (particular residuated lattices). Each continuous t-norm on [0,1] determines a BL-algebra; such algebras are called t-algebras. Two additional axioms B1, B2 are found such that BL+(B1,B2) is complete for tautologies over t-algebras. It remains open whether B1, B2 are provable in BL.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hájek, P. Basic fuzzy logic and BL-algebras. Soft Computing 2, 124–128 (1998). https://doi.org/10.1007/s005000050043
Issue Date:
DOI: https://doi.org/10.1007/s005000050043