Basic formal properties of triangular norms and conorms

DOI10.1515/forma-2017-0009zbMath1377.03040OpenAlexW2758703457MaRDI QIDQ2407504

Adam Grabowski

Publication date: 6 October 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0009

zbMATH Keywords

fuzzy logicfuzzy settriangular normtriangular conorm

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Mechanization of proofs and logical operations (03B35)

Related Items (3)

On fuzzy negations generated by fuzzy implications ⋮ Formal introduction to fuzzy implications ⋮ Fundamental properties of fuzzy implications

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Fuzzy sets and systems. Theory and applications
• Metamathematics of fuzzy logic
• Triangular norms
• The formal construction of fuzzy numbers
• Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
• Mizar: State-of-the-art and Beyond
• Efficient Rough Set Theory Merging
• Fuzzy sets

This page was built for publication: Basic formal properties of triangular norms and conorms