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
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.

Copyright
© 2011, 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 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)
Series
Advances in Intelligent Systems Research
Publication Date
August 2011
ISBN
10.2991/eusflat.2011.84
ISSN
1951-6851
DOI
10.2991/eusflat.2011.84How to use a DOI?
Copyright
© 2011, 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  - 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 (EUSFLAT-11)
PB  - Atlantis Press
SP  - 156
EP  - 162
SN  - 1951-6851
UR  - https://doi.org/10.2991/eusflat.2011.84
DO  - 10.2991/eusflat.2011.84
ID  - Dyba2011/08
ER  -