Residuated Logics based on Strict Triangular Norms with an Involutive Negation

0405635 - UIVT-O 336017 RIV DE eng J - Journal Article
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
R&D Projects: GA MŠMT 1M0545
Grant - others:Grantová agentura SR(SK) VEGA 1/3006/06; COSPAL(EU) IST-2004-71567
Keywords : fuzzy logic * involutive negation * BL-algebra * variety * triangular norm * hamacher product
Subject RIV: BA - General Mathematics
Impact factor: 0.629, year: 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.
Permanent Link: http://hdl.handle.net/11104/0125778