1. Its models correspond to BL-algebras.

इसके मॉडल्स, BL-अल्जेब्रास के अनुरूप होते हैं।

2. It has the axioms of BL plus another axiom for cancellativity of conjunction, and its models are called product algebras.

इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के कैंसेलेटिविटी के लिए एक और एक्सिओम भी होता है और इसके मॉडल्स को प्रोडक्ट अल्जेब्रास कहा जाता है।