About: Applications of algebraic methods in non-classical logics

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

About: Applications of algebraic methods in non-classical logics 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=MEB061105
Description	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. (en) 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.
Title	Applications of algebraic methods in non-classical logics (en) Aplikace algebraických metod v neklasických logikách
skos:notation	MEB061105
http://linked.open...avai/cep/aktivita	KONTAKT
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB061105/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB061105/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2013-06-28 (xsd:date)
http://linked.open...i/cep/druhSouteze	M2 - Mezinárodní spolupráce podle uzavřených smluv o dvoustranné mezinárodní spolupráci ve VaV
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	92825579
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	Algebra; lattice; basic algebra; effect algebra; tense operator (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	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	0 (xsd:int)
http://linked.open...lneniVMinulemRoce	2012-02-09 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/9166%2F2011-320
http://linked.open...iciPoslednihoRoku	2012
http://linked.open...atUdajeProjZameru	2013
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	2012-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	BA - Obecná matematika
http://linked.open...ep/zahajeniReseni	2011-01-01 (xsd:date)
http://linked.open...jektu+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. (en) 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í. (cs)
http://linked.open...tniCyklusProjektu	ZKU
http://linked.open.../cep/klicoveSlovo	Algebra lattice basic algebra effect algebra
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB061105/2011/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB061105/2012/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB061105/2013/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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software