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

DOI10.1016/S0165-0114(01)00100-2zbMATH Open0998.03024OpenAlexW2084613039WikidataQ127481753 ScholiaQ127481753MaRDI QIDQ1349201FDOQ1349201

Authors Sándor Jenei, Siegfried J. 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

axiomatizationtriangular normrotation invarianceGirard monoidsmonoidal t-norm-based residuated logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 1735985
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• scientific article; zbMATH DE number 2030505
• Involutive monoidalt-norm based logic andR0 logic
• Residuated logics based on strict triangular norms with an involutive negation

Cites work

• scientific article; zbMATH DE number 1900180 (Why is no real title available?)
• A treatise on many-valued logics
• Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Residuated fuzzy logics with an involutive negation
• Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
• Triangular norms

Cited in

(18)

• How to construct left-continuous triangular norms -- state of the art.
• 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
• scientific article; zbMATH DE number 6028054 (Why is no real title available?)
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• The logic of tied implications. I: Properties, applications and representation
• Issues on adjointness in multiple-valued logics
• On equivalent forms of fuzzy logic systems NM and IMTL
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic
• A note on minimal axiomatisations of some extensions of MTL
• Notes on a comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis
• Observations on the monoidal t-norm logic
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Mathematical Fuzzy Logics
• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• T-norm-based logics with an independent involutive negation
• Mathematical fuzzy logic as a tool for the treatment of vague information

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349201)