Algebraic Semantics: Semilinear FL-Algebras. Chapter 4

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00372983" target="_blank" >RIV/67985807:_____/11:00372983 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Algebraic Semantics: Semilinear FL-Algebras. Chapter 4
Popis výsledku v původním jazyce
The chapter summarizes the most important results in the theory of semilinear FL-algebras which form an equivalent algebraic semantics for most of fuzzy logics studied in the literature. The first part focuses on basic algebraic properties and constructions, e.g. structure theory, axiomatization of the variety of semilinear FL-algebras, or Dedekind-McNeille completion. The second part deals with various completeness properties for varieties of semilinear FL-algebras. The last part presents several results on the structure of the subvariety lattice of the variety of semilinear FL-algebras.
Název v anglickém jazyce
Algebraic Semantics: Semilinear FL-Algebras. Chapter 4
Popis výsledku anglicky
The chapter summarizes the most important results in the theory of semilinear FL-algebras which form an equivalent algebraic semantics for most of fuzzy logics studied in the literature. The first part focuses on basic algebraic properties and constructions, e.g. structure theory, axiomatization of the variety of semilinear FL-algebras, or Dedekind-McNeille completion. The second part deals with various completeness properties for varieties of semilinear FL-algebras. The last part presents several results on the structure of the subvariety lattice of the variety of semilinear FL-algebras.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2011
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ů

Podobné výsledky(10)