Undefinability of min-conjunction in MTL
From MaRDI portal
Publication:2492317
DOI10.1016/J.FSS.2005.10.016zbMath1106.03021OpenAlexW1980619476WikidataQ59306579 ScholiaQ59306579MaRDI QIDQ2492317
Publication date: 9 June 2006
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2005.10.016
Related Items (5)
Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ Formal systems of fuzzy logic and their fragments ⋮ Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
Cites Work
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- A fuzzy logic for an ordinal sum t-norm
- A fuzzy logic for the revised drastic product t-norm.
- A survey on different triangular norm-based fuzzy logics
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A note on the ordinal sum theorem and its consequence for the construction of triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- A triangular-norm-based propositional fuzzy logic
- Contrapositive symmetry of fuzzy implications
- New family of triangular norms via contrapositive symmetrization of residuated implications
- On the scope of some formulas defining additive connectives in fuzzy logics
This page was built for publication: Undefinability of min-conjunction in MTL
