About: Non-associative residuated structures

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Non-associative residuated structures Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GPP201/11/P346
Description	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. (en) 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.
Title	Non-associative residuated structures (en) Neasociativní reziduované struktury
skos:notation	GPP201/11/P346
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP201%2F11%2FP346/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP201%2F11%2FP346/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-06-25 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100662239
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	residuated structure non-associative structures algebraization of non-classical logics (en)
http://linked.open...ep/partnetrHlavni	Přírodovědecká fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	4 (xsd:int)
http://linked.open...enychVysledkuVRIV	4 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-06-07 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P201-11-P346
http://linked.open...iciPoslednihoRoku	2013
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SGA02011GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2013-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2011-01-01 (xsd:date)
http://linked.open...jektu+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. (en) 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. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	States and state operators on certain basic algebras States on commutative basic algebras On (finite) distributive lattices with antitone involutions On normal-valued basic pseudo-hoops
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP201%2F11%2FP346/2011/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP201%2F11%2FP346/2012/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP201%2F11%2FP346/2013/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP201%2F11%2FP346/2014/orjk%3A15310

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software