Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology

Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic

Authors
Nora A. Angelova, Krassimir T. Atanassov
Corresponding Author
Nora A. Angelova
Available Online June 2015.
DOI
10.2991/ifsa-eusflat-15.2015.225How to use a DOI?
Keywords
Implication, Intuitionistic fuzzy logic, Intuitionistic logic.
Abstract

During years of research, there have been defined 153 intuitionistic fuzzy implications. In the paper, it is checked which of these implications satisfy which axioms of the intuitionistic logic, whether as (classical) tautologies or as intuitionistic fuzzy tautologies. Some open problems, related to the operations of intuitionistic fuzzy propositional calculus, are formulated.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology
Series
Advances in Intelligent Systems Research
Publication Date
June 2015
ISBN
978-94-62520-77-6
ISSN
1951-6851
DOI
10.2991/ifsa-eusflat-15.2015.225How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Nora A. Angelova
AU  - Krassimir T. Atanassov
PY  - 2015/06
DA  - 2015/06
TI  - Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic
BT  - Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology
PB  - Atlantis Press
SP  - 1578
EP  - 1584
SN  - 1951-6851
UR  - https://doi.org/10.2991/ifsa-eusflat-15.2015.225
DO  - 10.2991/ifsa-eusflat-15.2015.225
ID  - Angelova2015/06
ER  -