Formal introduction to fuzzy implications

DOI10.1515/FORMA-2017-0023zbMATH Open1379.03006OpenAlexW2778928065MaRDI QIDQ1688751FDOQ1688751

Authors: Adam Grabowski 

Publication date: 11 January 2018

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

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

Recommendations

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

zbMATH Keywords

fuzzy setfuzzy logicfuzzy implication

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)