Truth values on generalizations of some commutative fuzzy structures

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F06%3A00003096" target="_blank" >RIV/61989592:15310/06:00003096 - isvavai.cz</a>
Alternative codes found
RIV/61989100:27510/06:00018504
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Truth values on generalizations of some commutative fuzzy structures
Original language description
Hájek introduced the logic BL(vt) enriching the logic BL by a unary connective vt which is a formalization of Zadeh's fuzzy truth value "very true". BL(vt)-algebras, i.e. BL-algebras with unary operations, called vt-operator, are an algebraic counterpartof BL(vt). Residuated lattice ordered monoids (Rl-monoids) are common generalizations of BL-algebras and Heyting algebras. In the paper, we study algebraic properties of Rl(vt)-algebras (and consequently of BL(vt)-algebras) and of those that are enriched by derived operators which in the case of MV-algebras are duals to vt-operators.
Czech name
Pravdivostní hodnoty na zobecněních některých komutativních fuzzy struktur
Czech description
Hájek zavedl logiku BL(vt) obohacením logiky BL jednou unární spojkou vt, která je formalizací Zadehovy fuzzy pravdivostní hodnoty "velmi pravdivý". BL(vt)-algebry, tj. BL-algebry s unární operací zvanou vt-operátor, jsou algebraickým protějškem BL(vt).Rl-monoidy jsou společným zobecněním BL-algeber a Heytingových algeber. V článku jsou studovány algebraické vlastnosti Rl(vt)-algeber (a následně také BL(vt)-algeber) a algeber, které z nich vzniknou obohacením o odvozené operátory, které jsou v v případě MV-algeber duální k vt-operátorům.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)