On the independence of axioms in BL and MTL (Q1759710): Difference between revisions
From MaRDI portal
Set profile property. |
Normalize DOI. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1016/j.fss.2011.10.018 / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2033092389 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Short note: on the redundancy of axiom (A3) in BL and MTL / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automated Reasoning / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4761817 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1016/J.FSS.2011.10.018 / rank | |||
Normal rank | |||
Latest revision as of 08:57, 11 December 2024
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
