Počet záznamů: 1
Product Lukasiewicz Logic
- 1.
SYSNO ASEP 0105219 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Product Lukasiewicz Logic Překlad názvu Produkt-Lukasiewiczova logika Tvůrce(i) Horčík, Rostislav (UIVT-O) SAI, RID
Cintula, Petr (UIVT-O) RID, ORCID, SAIZdroj.dok. Archive for Mathematical Logic. - : Springer - ISSN 0933-5846
Roč. 43, - (2004), s. 477-503Poč.str. 17 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova fuzzy logic ; many-valued logic ; Lukasiewicz logic ; Lpi logic ; Takeuti-Titani logic ; MV-algebras ; product MV-algebras Vědní obor RIV BA - Obecná matematika CEP IAA1030004 GA AV ČR - Akademie věd GA201/02/1540 GA ČR - Grantová agentura ČR CEZ AV0Z1030915 - UIVT-O UT WOS 000221344800005 EID SCOPUS 2642532203 DOI 10.1007/s00153-004-0214-6 Anotace Among all many-valued logics the Lukasiewicz logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lukasiewicz logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. Finally, the predicate version of PL logic is introduced and developed. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2005
Počet záznamů: 1