Work

Intuitionistic fuzzy interpretation of a classical formula

Year: 2025

Type: article

Abstract: The formula ¬A = (A → ((A → A) ∧ ¬(A → A))) is a tautology in the classical propositional logic. In this paper, we determine all intuitionistic fuzzy implications that satisfy this formula together with the classical intuitionistic fuzzy negation or with the negation generated by this implication.

Source: Notes on Intuitionistic Fuzzy Sets

DOI: 10.7546/nifs.2025.31.4.427-440

Authors: Krassimir Atanassov, Nora Angelova, Janusz Kacprzyk

Institutions: Bulgarian Academy of Sciences, Institute of Biophysics and Biomedical Engineering, Sofia University "St. Kliment Ohridski", Systems Research Institute, Polish Academy of Sciences

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Bulgarian National Science Fund, Bulgarian Academy of Sciences

Award: G5526119323