Počet záznamů: 1

Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies

SYSNO ASEP	0323929
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	Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies
Překlad názvu	Význačné algebraické sémantiky pro t-normové fuzzy logiky: metody a algebraické ekvivalence
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Esteva, F. (ES) Gispert, J. (ES) Godo, L. (ES) Montagna, F. (IT) Noguera, C. (ES)
Zdroj.dok.	Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072 Roč. 160, č. 1 (2009), s. 53-81
Poč.str.	29 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	algebraic logic ; embedding properties ; left-continuous t-norms ; mathematical fuzzy logic ; residuated lattices ; standard completeness
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	000266648600005
EID SCOPUS	67349142165
DOI	10.1016/j.apal.2009.01.012
Anotace	This paper is a contribution to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Delta-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics, study their relationships, characterization and we survey the known completeness methods and results for prominent logics. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2010

Počet záznamů: 1