Residuated Logics based on Strict Triangular Norms with an Involutive Negation

0405635 - UIVT-O 336017 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Klement, E.P. - Mesiar, R. - Navara, M.
Residuated Logics based on Strict Triangular Norms with an Involutive Negation.
[Residuované logiky spojitých t-norem s involutivní negací.]
Mathematical Logic Quarterly. Roč. 52, č. 3 (2006), s. 269-282. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT 1M0545
Grant ostatní: Grantová agentura SR(SK) VEGA 1/3006/06; COSPAL(EU) IST-2004-71567
Klíčová slova: fuzzy logic * involutive negation * BL-algebra * variety * triangular norm * hamacher product
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.629, rok: 2006

We study several equations which are satisfied by some strict triangular norms and their dual triangular conorms. These equations allow to distinguish countably many distinct varietes of algebras which are interpretations of fuzzy logics with involutive negations.

Existuje pouze jedna fuzzy logika, v níž je silná konjunkce standardně interpretována striktní t-normou, a to produktová logika. V tomto článku studujeme splňování identit obecnou striktní t-normu a k ní duální t-konormou. Přidáním involutivní negace a užitím zmíněných znalostí o identitách vygenerujeme spočetně mnoho logik založených na striktních t-normách různých od produktové logiky.
Trvalý link: http://hdl.handle.net/11104/0125778