Call for Papers for the 27th International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.
Issue:Intuitionistic fuzzy interpretations of formula (A → B) → ((¬A → B) → B): Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(2 intermediate revisions by the same user not shown) | |||
Line 24: | Line 24: | ||
| institution = Systems Research Institute, Polish Academy of Sciences | | institution = Systems Research Institute, Polish Academy of Sciences | ||
| address = ul. Newelska 6, 01-447 Warsaw, Poland | | address = ul. Newelska 6, 01-447 Warsaw, Poland | ||
| institution-2 = Warsaw School of Information Technology | |||
| address-2 = ul. Newelska 6, 01-447 Warsaw, Poland | |||
| email-before-at = szmidt | | email-before-at = szmidt | ||
| email-after-at = ibspan.waw.pl | | email-after-at = ibspan.waw.pl | ||
Line 37: | Line 39: | ||
| conference = [[IWIFS|International Workshop on Intuitionistic Fuzzy Sets]], founded by Prof. [[Beloslav Riečan]], 2 December 2022, Banská Bystrica, Slovakia | | conference = [[IWIFS|International Workshop on Intuitionistic Fuzzy Sets]], founded by Prof. [[Beloslav Riečan]], 2 December 2022, Banská Bystrica, Slovakia | ||
| issue = [[Notes on Intuitionistic Fuzzy Sets/28/4|Notes on Intuitionistic Fuzzy Sets, Volume 28 (2022), Number 4]], pages 428–435 | | issue = [[Notes on Intuitionistic Fuzzy Sets/28/4|Notes on Intuitionistic Fuzzy Sets, Volume 28 (2022), Number 4]], pages 428–435 | ||
| doi = https://doi.org/10.7546/nifs.428-435 | | doi = https://doi.org/10.7546/nifs.2022.28.4.428-435 | ||
| file = NIFS-28-4-428-435.pdf | | file = NIFS-28-4-428-435.pdf | ||
| format = PDF | | format = PDF | ||
| size = 155 | | size = 155 | ||
| abstract = One of the essential formulas of the classical mathematical logic is (''A'' → ''B'') → ((¬''A'' → ''B'') → ''B''). | | abstract = One of the essential formulas of the classical mathematical logic is (''A'' → ''B'') → ((¬''A'' → ''B'') → ''B''). In the present paper, its intuitionistic fuzzy interpretation is introduced, and lists of all defined intuitionistic fuzzy implications that satisfy it as a tautology and an intuitionistic fuzzy tautology are given. | ||
In the present paper, its intuitionistic fuzzy interpretation is introduced, and lists of all defined intuitionistic fuzzy implications that satisfy it as a tautology and an intuitionistic fuzzy tautology are given. | |||
| keywords = Intuitionistic fuzzy implication, Intuitionistic fuzzy pair, Intuitionistic fuzzy logic. | | keywords = Intuitionistic fuzzy implication, Intuitionistic fuzzy pair, Intuitionistic fuzzy logic. | ||
| ams = 03E72. | | ams = 03E72. |
Latest revision as of 18:52, 14 December 2022
shortcut
|
|