On the independence of axioms in BL and MTL (Q1759710): Difference between revisions

The author proves that the multiplicative conjunction of two formulae implies the redundancy of the first one of them in the Hilbert-style calculi of the MTL logic of \textit{F. Esteva} and \textit{L. Godo} [Fuzzy Sets Syst. 124, No. 3, 271--288 (2001; Zbl 0994.03017)] and of the BL logic due to [\textit{P. Hájek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. The independence of the remaining axioms in both logics is proved with suitable examples.