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

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

zbMATH Keywords

axiomatizationtriangular normrotation invarianceGirard monoidsmonoidal t-norm-based residuated logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Triangular norms
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A treatise on many-valued logics
• Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
• Residuated fuzzy logics with an involutive negation
• Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach
• Title not available (Why is that?)

Cited In (18)

• On equivalent forms of fuzzy logic systems NM and IMTL
• The \(\circledast\)-composition of fuzzy implications: closures with respect to properties, powers and families
• A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• How to construct left-continuous triangular norms -- state of the art.
• Observations on the monoidal t-norm logic
• The logic of tied implications. I: Properties, applications and representation
• Issues on adjointness in multiple-valued logics
• Notes on a comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis
• T-norm-based logics with an independent involutive negation
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Title not available (Why is that?)
• Mathematical Fuzzy Logics
• Mathematical fuzzy logic as a tool for the treatment of vague information
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• A note on minimal axiomatisations of some extensions of MTL
• Title not available (Why is that?)

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)