Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	Automated proofs for composition-based fuzzy relational notions
Citace	Daňková, M. a Běhounek, L. Automated proofs for composition-based fuzzy relational notions. In: Proceedings of Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing. s. 96-102.

Podnázev
Rok vydání:	2006
Obor:	Obecná matematika
Počet stran:	7
Strana od:	96
Strana do:	102
Forma vydání:
Kód ISBN:
Kód ISSN:
Název sborníku:	Proceedings of Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing
Sborník:
Název nakladatele:
Místo vydání:	Malaga
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing
Místo konání konference:	Malaga, Spani
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Celosvětová akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	Fuzzy relations; Fuzzy class theory
Popis v původním jazyce:	In this contribution, we use the theory of formal interpretations to unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.
Popis v anglickém jazyce:	In this contribution, we use the theory of formal interpretations to unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}