On EQ-Fuzzy Logics with Delta Connective
- Martin Dyba, Vilém Novák
- Corresponding Author
- Martin Dyba
Available Online August 2011.
- https://doi.org/10.2991/eusflat.2011.84How to use a DOI?
- EQ-algebra, EQ-logic, equational logic, delta connective
- In this paper, extension of the EQ-logic by the connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the operation and then introduce axioms and inference rules of EQ-logic. We also prove the deduction theorem formulated using fuzzy equalities.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Martin Dyba AU - Vilém Novák PY - 2011/08 DA - 2011/08 TI - On EQ-Fuzzy Logics with Delta Connective BT - Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology PB - Atlantis Press SP - 156 EP - 162 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2011.84 DO - https://doi.org/10.2991/eusflat.2011.84 ID - Dyba2011/08 ER -