1 problem

0 votes0 replies0 views
Hájek's characterization conjecture for BL-algebras
Hájek's conjecture. The variety ${\mathsf{BLAlg}}$ coincides with the variety generated by all algebras
Conjecturesolvedbl-algebras hoops t-normsarXiv posted 2 days ago

Hájek's characterization conjecture for BL-algebras