This HTML5 document contains 24 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n11	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/
n4	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/
dcterms	http://purl.org/dc/terms/
n10	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/
n3	http://linked.opendata.cz/ontology/domain/vavai/
n9	http://linked.opendata.cz/resource/domain/vavai/cep/obor/
n13	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/
n7	http://linked.opendata.cz/resource/domain/vavai/cep/faze/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n6	http://linked.opendata.cz/resource/domain/vavai/cep/typ/
n5	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/P201/11/
n12	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/
xsdh	http://www.w3.org/2001/XMLSchema#
n2	http://linked.opendata.cz/resource/domain/vavai/cep/projekt/GA0/GPP201/11/

Statements

Subject Item

n2:P346

rdf:type

n3:Projekt

dcterms:description

Tématem projektu je neasociativní zobecnění současné teorie reziduovaných struktur. Nejprve bude rozšiřován základní algebraický aparát potřebný k jejich zkoumání. Zaměříme se především na studium svazu kongruencí a popis subdirektně ireducibilních algeber. Následně budou charakterizovány významné ekvacionální třídy, zejména ty, které jsou generované neasociativními zobecněními t-norem. Jejich zkoumání vytvoří základ pro zavádění neasociativních fuzzy logik. Současně se zaměříme na výzkum reziduovaných algeber generovaných jejich prelineárními prvky. Očekává se, že projekt přinese úplnou charakterizaci reziduovaných struktur splňujících axiom prelinearity. The goal of the project is to generalize associative residuated structures to non-associative ones. Firstly, we will extened fundamental algebraic tools that are necessary to study these structures. We mainly focus on congruence lattices and subdirectly irreducible algebras. Further we will characterize important equational classes, especially those generated by non-associative generalizations of t-norms. The study of these classes will give a background for non-associative fuzzy logics. At the same time we will deal with residuated algebras that are generated by their prelinear elements. We expect that the research will lead to a complete description of residuated structures satisfying the prelinearity axiom.

dcterms:title

Non-associative residuated structures Neasociativní reziduované struktury

n3:cislo-smlouvy

n5:P346

n3:druh-souteze

n13:VS

n3:faze

n7:54476469

n3:hlavni-obor

n9:BA

n3:id-aktivity

n10:GP

n3:id-souteze

n4:SGA02011GA1PD

n3:kategorie

n11:1

n3:klicova-slova

residuated structure; non-associative structures; algebraization of non-classical logics

n3:konec-reseni

2013-12-31+01:00

n3:pocet-koordinujicich-prijemcu

0

n3:poskytovatel

n12:GA0

n3:start-reseni

2011-01-01+01:00

n3:statni-podpora

564

n3:typProjektu

n6:P

n3:uznane-naklady

564

n3:pocet-prijemcu

1

n3:pocet-spoluprijemcu

0

n3:pocet-vysledku

2

n3:pocet-vysledku-zverejnovanych

2