Formal introduction to fuzzy implications

DOI10.1515/FORMA-2017-0023MaRDI QIDQ1688751zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 11 January 2018

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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

zbMATH Keywords

fuzzy setfuzzy logicfuzzy implication

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Recommendations

• Fundamental properties of fuzzy implications
• On fuzzy negations generated by fuzzy implications
• On fuzzy implications: an axiomatic approach
• Publication:4945169
• Fuzzy implications

Cites work

• Basic formal properties of triangular norms and conorms
• Four decades of \textsc{Mizar}. Foreword
• Fuzzy implications
• Fuzzy sets
• Initial comparison of formal approaches to fuzzy and rough sets
• Lattice theory for rough sets -- a case study with Mizar
• Rough sets
• The formal construction of fuzzy numbers

Cited in

(4)

• On fuzzy negations and laws of contraposition. Lattice of fuzzy negations
• Fundamental properties of fuzzy implications
• On fuzzy negations generated by fuzzy implications
• A GALLERY OF CHUA ATTRACTORS: PART IV

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Formal introduction to fuzzy implications

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