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

Kód výsledku v IS VaVaI

RIV/67985807:_____/09:00323929 - isvavai.cz

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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 andwe 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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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 andwe 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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

1M0545: Institut Teoretické Informatiky

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

160

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

29

Strana od-do

—

Kód UT WoS článku

000266648600005

EID výsledku v databázi Scopus

—