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

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

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
dctermshttp://purl.org/dc/terms/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n20http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n15http://linked.opendata.cz/ontology/domain/vavai/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n18http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n6http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n16http://linked.opendata.cz/resource/domain/vavai/soutez/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/GPP201%2F11%2FP346/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://linked.opendata.cz/ontology/domain/vavai/cep/
n12http://linked.opendata.cz/resource/domain/vavai/aktivita/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GPP201%2F11%2FP346
rdf:type
n15:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GPP201/11/P346
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
skos:notation
GPP201/11/P346
n4:aktivita
n12:GP
n4:celkovaStatniPodpora
n5:celkovaStatniPodpora
n4:celkoveNaklady
n5:celkoveNaklady
n4:datumDodatniDoRIV
2014-06-25+02:00
n4:druhSouteze
n14:VS
n4:duvernostUdaju
n13:S
n4:fazeProjektu
n18:100662239
n4:hlavniObor
n6:BA
n4:hodnoceniProjektu
n11:U
n4:kategorie
n8:ZV
n4:klicovaSlova
residuated structure non-associative structures algebraization of non-classical logics
n4:partnetrHlavni
n21:orjk%3A15310
n4:pocetKoordinujicichPrijemcu
0
n4:pocetPrijemcu
1
n4:pocetSpoluPrijemcu
0
n4:pocetVysledkuRIV
4
n4:pocetZverejnenychVysledkuVRIV
4
n4:posledniUvolneniVMinulemRoce
2013-06-07+02:00
n4:prideleniPodpory
n20:P201-11-P346
n4:sberDatUcastniciPoslednihoRoku
n7:2013
n4:sberDatUdajeProjZameru
n7:2014
n4:soutez
n16:SGA02011GA1PD
n4:statusZobrazovaneFaze
n22:DUU
n4:typPojektu
n10:P
n4:ukonceniReseni
2013-12-31+01:00
n4:zahajeniReseni
2011-01-01+01:00
n4:zhodnoceni+vysledku+projektu+dodavatelem
The outcome of the project are original theoretical results on certain algebraic structures. Although most of the results are not concerned directly with questions indicated in the project proposal, they are in accordance with the aims of the project. The output consists of 6 articles in international journals, all of them dedicated also to other projects. No violations of guidelines were found. Výsledkem projektu jsou originální teoretické výsledky o jistých algebraických strukturách. Přestože se většina výsledků netýká přímo otázek uvedených v návrhu projektu, jsou tyto výsledky v souladu se záměrem projektu. Výstup sestává ze 6 článků v mezinárodních časopisech, přičemž všechny jsou dedikovány také dalším projektům. Žádné porušení zadávací dokumentace nebylo shledáno.
n4:zivotniCyklusProjektu
n9:ZBKU