On EQ-fuzzy logics with delta connective
Result description
In this paper, extension of EQ-logic by the delta connective is introduced. The former is a new kind of logic 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 delta operation and then introduce axioms and inference rules of EQ-logic endowed by delta connective. We also prove the deduction theorem formulated using fuzzy equalities.
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On EQ-fuzzy logics with delta connective
Original language description
In this paper, extension of EQ-logic by the delta connective is introduced. The former is a new kind of logic 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 delta operation and then introduce axioms and inference rules of EQ-logic endowed by delta connective. We also prove the deduction theorem formulated using fuzzy equalities.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proc. EUSFLAT-LFA 2011
ISBN
978-90-78677-00-0
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
156-162
Publisher name
Atlantis Press
Place of publication
Amsterdam
Event location
Aix-Les-Bains
Event date
Jul 18, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—
Basic information
Result type
D - Article in proceedings
CEP
BA - General mathematics
Year of implementation
2011