Počet záznamů: 1
Filters in Algebras of Fuzzy logics
- 1.
SYSNO ASEP 0362697 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Filters in Algebras of Fuzzy logics Tvůrce(i) Víta, Martin (UIVT-O)
Cintula, Petr (UIVT-O) RID, ORCID, SAIZdroj.dok. Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology. - Amsterdam : Atlantis Press, 2011 / Galichet S. ; Montero J. ; Mauris G. - ISSN 1951-6851 - ISBN 978-90-78677-00-0 Rozsah stran s. 169-174 Poč.str. 6 s. Akce EUSFLAT - LFA 2011. Conference of the European Society for Fuzzy Logic and Technology and les Recontres Francophones sur la Logique Floue et ses Applications Datum konání 18.07.2011-22.07.2011 Místo konání Aix-Les-Bains Země FR - Francie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova filters ; abstract algebraic logic ; Rasiowa-implicative logics Vědní obor RIV BA - Obecná matematika CEP GD401/09/H007 GA ČR - Grantová agentura ČR 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000301519600027 EID SCOPUS 84871953837 DOI 10.2991/eusflat.2011.123 Anotace This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We identify four main kinds of theorems proved in the literature and we formulate general theorems which (provided a simple syntactical proof) yield the majority of published results as their direct consequences. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1