A new axiomatization for involutive monoidal t-norm-based logic
From MaRDI portal
Publication:1349201
DOI10.1016/S0165-0114(01)00100-2zbMath0998.03024OpenAlexW2084613039WikidataQ127481753 ScholiaQ127481753MaRDI QIDQ1349201
Sándor Jenei, Siegfried Johannes Gottwald
Publication date: 21 May 2002
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0165-0114(01)00100-2
rotation invariancetriangular normaxiomatizationGirard monoidsmonoidal t-norm-based residuated logic
Related Items
A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis ⋮ The \(\circledast\)-composition of fuzzy implications: closures with respect to properties, powers and families ⋮ Notes on a comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis ⋮ Mathematical Fuzzy Logics ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ On equivalent forms of fuzzy logic systems NM and IMTL ⋮ How to construct left-continuous triangular norms -- state of the art. ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Issues on adjointness in multiple-valued logics ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ A note on minimal axiomatisations of some extensions of MTL ⋮ Observations on the monoidal t-norm logic
Cites Work
- Unnamed Item
- Unnamed Item
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- Residuated fuzzy logics with an involutive negation
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach