About: Algebraic methods in non-classical logics

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

About: 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=MEB060912
Description	Every propositional logic is naturally connected with several derived algebraic structures. In particular, these are the implication reducts, the ordered structures of values and so-called ring-like structures. Besides of these, propositional logics can be connected with other reducts as for example the disjunction-negation reduct (usually called “derived algebras”). In the proposed project we will focus on ordered structures connected with the logics mentioned above. (en) Každá výroková logika je přirozeným způsobem spojená s odvozenými algebraickými strukturami, např. implikačními redukty, uspořádanými množinami pravdivostních hodnot a strukturami typu okruhů. Kromě těchto struktur je možno uvažovat další redukty, např. disjunkčně-negační redukt apod. V navrhovaném projektu se zaměříme na studium shora zmíněných uspořádaných struktur spojených s logikou.
Title	Algebraic methods in non-classical logics (en) Algebraické metody v neklasických logikách
skos:notation	MEB060912
http://linked.open...avai/cep/aktivita	KONTAKT
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB060912/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB060912/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2011-06-30 (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	82466859
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; variety; logic (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	2010-06-09 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/7326%2F2010-32
http://linked.open...iciPoslednihoRoku	2010
http://linked.open...atUdajeProjZameru	2011
http://linked.open.../vavai/cep/soutez	SMSM2008ME3
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	2010-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika BA - Obecná matematika
http://linked.open...ep/zahajeniReseni	2009-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	Dosažené výsledky vedly k podstatnému prohloubení znalostí o strukturní teorii různých druhů algebraických struktur spojených s logikou. Většina z nich byla publikována v renomovaných časopisech s IF a prezentována na mezinárodních konferencích (cs) Results achieved within the project substantially deepened the knowledge about the structure theory of various kinds of algebras connected with logic. Most of them were published in renowned journals with IF and lectured on international conferences. (en)
http://linked.open...tniCyklusProjektu	ZKU
http://linked.open.../cep/klicoveSlovo	algebra variety
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB060912/2009/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB060912/2010/orjk%3A15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB060912/2011/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