Počet záznamů: 1
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach
- 1.
SYSNO ASEP 0088772 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 Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Překlad názvu Normální formy ve fuzzy logikách: důkazově-teoretický přístup Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Metcalfe, G. (US)Zdroj.dok. Archive for Mathematical Logic. - : Springer - ISSN 0933-5846
Roč. 46, č. 5-6 (2007), s. 347-363Poč.str. 17 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova fuzzy logic ; normal form ; proof theory ; hypersequents Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000246591500001 EID SCOPUS 34249012842 DOI 10.1007/s00153-007-0033-7 Anotace A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2008
Počet záznamů: 1