On fuzzy negations and laws of contraposition. Lattice of fuzzy negations

DOI10.2478/FORMA-2023-0014MaRDI QIDQ6557116zbMATH OpenFDO

Authors Adam Grabowski

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2023-0014

zbMATH Keywords

contrapositive symmetryfuzzy implicationfuzzy negation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• On fuzzy negations generated by fuzzy implications
• Fuzzy negation and other weak fuzzy connectives
• New types of contrapositivisation of fuzzy implications with respect to fuzzy negations
• scientific article; zbMATH DE number 3869307
• scientific article; zbMATH DE number 6880269

Cites work

• Definition of centroid method as defuzzification
• Formal introduction to fuzzy implications
• Formalizing lattice-theoretical aspects of rough and fuzzy sets
• Fuzzy implications
• Fuzzy sets
• Fuzzy sets and systems. Theory and applications
• Initial comparison of formal approaches to fuzzy and rough sets
• Invariant fuzzy implications
• Isosceles triangular and isosceles trapezoidal membership functions using centroid method
• Lattice theory for rough sets -- a case study with Mizar
• On duplication in mathematical repositories
• On fuzzy negations generated by fuzzy implications
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• Formalization of trellises and tolerance relations
• Fundamentals of finitary proofs

This page was built for publication: On fuzzy negations and laws of contraposition. Lattice of fuzzy negations

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