Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)

On EQ-Fuzzy Logics with Delta Connective

Authors
Martin Dyba, Vilém Novák
Corresponding Author
Martin Dyba
Available Online August 2011.
DOI
https://doi.org/10.2991/eusflat.2011.84How to use a DOI?
Keywords
EQ-algebra, EQ-logic, equational logic, delta connective
Abstract
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.

Download article (PDF)

Proceedings
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology
Part of series
Advances in Intelligent Systems Research
Publication Date
August 2011
ISBN
978-90-78677-00-0
ISSN
1951-6851
DOI
https://doi.org/10.2991/eusflat.2011.84How to use a DOI?
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  -