A new axiomatization for involutive monoidal t-norm-based logic

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

zbMATH Keywords

rotation invariancetriangular normaxiomatizationGirard monoidsmonoidal t-norm-based residuated logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (13)

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

This page was built for publication: A new axiomatization for involutive monoidal t-norm-based logic