Počet záznamů: 1
Densification of FL Chains via Residuated Frames
- 1.
SYSNO ASEP 0438994 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 Densification of FL Chains via Residuated Frames Tvůrce(i) Baldi, Paolo (UIVT-O) ORCID, RID
Terui, K. (JP)Zdroj.dok. Algebra Universalis. - : Springer - ISSN 0002-5240
Roč. 75, č. 2 (2016), s. 169-195Poč.str. 27 s. Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova densifiability ; standard completeness ; residuated lattices ; residuated frames ; fuzzy logic Vědní obor RIV BA - Obecná matematika CEP GAP202/10/1826 GA ČR - Grantová agentura ČR UT WOS 000375423100003 EID SCOPUS 84957958237 DOI 10.1007/s00012-016-0372-5 Anotace We introduce a systematic method for densification, i.e., embedding a given chain into a dense one preserving certain identities, in the framework of FL algebras (pointed residuated lattices). Our method, based on residuated frames, offers a uniform proof for many of the known densification and standard completeness results in the literature. We propose a syntactic criterion for densification, called semi-anchoredness. We then prove that the semilinear varieties of integral FL algebras defined by semi-anchored equations admit densification, so that the corresponding fuzzy logics are standard complete. Our method also applies to (possibly non-integral) commutative FL chains. We prove that the semilinear varieties of commutative FL algebras defined by knotted axioms x^m<=x^n (with m, n > 1) admit densification. It provides a purely algebraic proof to the standard completeness of uninorm logic as well as its extensions by knotted axioms. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2017
Počet záznamů: 1