title: |
On EQ-Fuzzy Logics with Delta Connective |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
| pages: | 156 - 162 | |
DOI: |
To be assigned soon (how to use a DOI) | |
author(s): |
Martin Dyba, Vil¨¦m Nov¨¢k |
|
publication date: |
July 2011 |
|
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: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |