Schematic Extensions of MTL by Adding Weak Divisibility Axiom

Abstract

MTL is a Monoidal t-norm based logic introduced by Esteva and Godo by omitting divisibility axiom from H´ajek's Basic logic (BL). Many logics can be obtained by adding axioms to MTL logic. Logic system WBL is obtained by adding weak divisibility axiom to logic system MTL. Logic system WMV is obtained by adding involution axiom to logic system WBL. WBL-algebra corresponding to logic system WBL and WMV-algebra to logic system WMV are defined respectively. It is proved that the both of logic system Luk and logic system Nilpotent minimum (NM) are the schematic extensions of logic system WMV. Weak Wajsberg algebra and the simplified form of logic system WMV are obtained.