Undefinability of min-conjunction in MTL
From MaRDI portal
Publication:2492317
DOI10.1016/j.fss.2005.10.016zbMath1106.03021WikidataQ59306579 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
03B52: Fuzzy logic; logic of vagueness
Related Items
Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\), Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic), 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
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