Formal introduction to fuzzy implications

DOI10.1515/forma-2017-0023zbMath1379.03006OpenAlexW2778928065MaRDI QIDQ1688751

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

zbMATH Keywords

fuzzy logicfuzzy setfuzzy implication

Mathematics Subject Classification ID

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

Related Items (3)

On fuzzy negations generated by fuzzy implications ⋮ A GALLERY OF CHUA ATTRACTORS: PART IV ⋮ Fundamental properties of fuzzy implications

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Fuzzy implications
• The formal construction of fuzzy numbers
• Basic formal properties of triangular norms and conorms
• Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
• Rough sets
• Lattice Theory for Rough Sets – A Case Study with Mizar
• Fuzzy sets

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