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

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

Namespace Prefixes

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

Statements

Subject Item
n2:MEB061105
rdf:type
n8:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=MEB061105
dcterms:description
V předloženém projektu se zaměříme zejména na studium obecných reziduovaných struktur které nejsou nutně svazově uspořádané v souvislosti s jejich spojením s efektovými algebrami. Použitím časových operátorů budou studovány kvantové logiky s dimenzí času. Výzkum bude založen na podstatné bilaterální spolupráci s očekávaným velkým vědeckým přínosem pro obě partnerské instituce. In the proposed project we expect the development of residuated structures, not necessarily lattices, in connection with effect algebras, capturing of time dimension in the quantum logics via tense operators (quantifiers) and application of relational structures organized in corresponding algebras. An essential bilateral scientific cooperation is expected. This will bring new results and achievements which can be hardly reached without bilateral contacts.
dcterms:title
Aplikace algebraických metod v neklasických logikách Applications of algebraic methods in non-classical logics
skos:notation
MEB061105
n3:aktivita
n7:ME
n3:celkovaStatniPodpora
n17:celkovaStatniPodpora
n3:celkoveNaklady
n17:celkoveNaklady
n3:datumDodatniDoRIV
2013-06-28+02:00
n3:druhSouteze
n4:M2
n3:duvernostUdaju
n11:S
n3:fazeProjektu
n20:92825579
n3:hlavniObor
n5:BA
n3:hodnoceniProjektu
n10:U
n3:kategorie
n9:ZV
n3:klicovaSlova
Algebra; lattice; basic algebra; effect algebra; tense operator
n3:partnetrHlavni
n15:orjk%3A15310
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
0
n3:pocetZverejnenychVysledkuVRIV
0
n3:posledniUvolneniVMinulemRoce
2012-02-09+01:00
n3:prideleniPodpory
n12:9166%2F2011-320
n3:sberDatUcastniciPoslednihoRoku
n14:2012
n3:sberDatUdajeProjZameru
n14:2013
n3:statusZobrazovaneFaze
n18:DUU
n3:typPojektu
n21:P
n3:ukonceniReseni
2012-12-31+01:00
n3:vedlejsiObor
n5:BA
n3:zahajeniReseni
2011-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
This project is being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked. Projekt je realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována správnost čerpání přidělených financí a přiměřenost jejich využití.
n3:zivotniCyklusProjektu
n16:ZKU
n3:klicoveSlovo
basic algebra lattice Algebra effect algebra