Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

> Publ3 search

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:	prezentace (kongresy, sympózia, konference, workshopy)
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: Int. conf. on LSC'06 and workshop of ERCIM06. Malaga. 2006.

Podnázev
Rok vydání:	2006
Obor:	Obecná matematika
Místo konání:	Malaga
Stát konání akce:	Španělské království
Název akce:	Int. conf. on LSC'06 and workshop of ERCIM06
Datum od:
Datum do:
Druh prezentace:	Přednáška
Instituce:

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:	RIV/61988987:17610/06:00000052

Complementary Content

${loading}