Fundamental properties of fuzzy implications

DOI10.2478/forma-2018-0023zbMath1422.03045OpenAlexW2935510787MaRDI QIDQ2311534

Adam Grabowski

Publication date: 10 July 2019

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

Full work available at URL: https://doi.org/10.2478/forma-2018-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

On fuzzy negations generated by fuzzy implications, Automated Comparative Study of Some Generalized Rough Approximations

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Fuzzy implications
• Implication in fuzzy logic
• Fuzzy sets and systems. Theory and applications
• Metamathematics of fuzzy logic
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Formal introduction to fuzzy implications
• Basic formal properties of triangular norms and conorms
• Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
• Fuzzy sets