On the independence of axioms in BL and MTL (Q1759710)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the independence of axioms in BL and MTL |
scientific article; zbMATH DE number 6109488
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the independence of axioms in BL and MTL |
scientific article; zbMATH DE number 6109488 |
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
