
318 Soft Computing and Its Applications
(LA21)
into , or adding (LA16) into BL, we can obtain the famous Łukasiewicz’s axiom
system is a MV-algebra, or equivalently, a Wajsberg algebra.
Adding (LA15) into BL, or adding (LA18) into IPC, we can obtain Gödel ‘s axiom
system G, and Lindenbaum algebra of G is a G-algebra.
Adding the axiom scheme
(LA22)
into BL, we can obtain Hájek’s product logic axiom system , and Lindenbaum
algebra of is a product algebra.
We consider all axioms as stated above ((LA1)–(LA22)) to form a formal system.
Thus, we obtain a formal system of classical propositional calculus Naturally, the
Lindenbaum algebra of ...