On the independence of axioms in BL and MTL (Q1759710)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the independence of axioms in BL and MTL |
scientific article |
Statements
On the independence of axioms in BL and MTL (English)
0 references
21 November 2012
0 references
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.
0 references
basic fuzzy logic BL
0 references
monoidal t-norm-based logic MTL
0 references
Hilbert-style calculus
0 references
