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

DOI10.1016/S0165-0114(01)00100-2MaRDI QIDQ1349201zbMATH OpenOpenAlexWikidataFDO

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)

• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 6028054 (Why is no real title available?)
• Mathematical fuzzy logic as a tool for the treatment of vague information
• Mathematical Fuzzy Logics
• 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

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)