Extended fuzzy equational logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F06%3A00010824" target="_blank" >RIV/61989592:15310/06:00010824 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Extended fuzzy equational logic
Original language description
We study fuzzy equational logics extended by additional deduction rules. It is shown that equational deduction rules which preserve substitutions can be represented by Horn clauses with truth-weighted premises. This ensures us to reduce provability in extended fuzzy equational logics to provability in fuzzy Horn logic. We work in Pavelka-style (we use truth-evaluated syntax) and prove Pavelka-style completeness of extended fuzzy equational logics.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/KJB1137301" target="_blank" >KJB1137301: Relational systems in presence of vagueness and uncertainty:mathematical foundations for applications</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
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
Name of the periodical
Journal of Multiple-valued Logic and soft computing
ISSN
1542-3980
e-ISSN
—
Volume of the periodical
12
Issue of the periodical within the volume
5/6
Country of publishing house
US - UNITED STATES
Number of pages
900
Pages from-to
—
UT code for WoS article
—
EID of the result in the Scopus database
—