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
Description	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. (cs) 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)
Title	Algebraic methods in non-classical logics (en) Algebraické metody v neklasických logikách (cs)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/7326/2010-32
http://linked.open...lsi-vedlejsi-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/53143817
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/BA
http://linked.open...vai/vedlejsi-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/BA
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/ME
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SMSM2008ME3
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	algebra; variety; logic (en)
http://linked.open...avai/konec-reseni	2010-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/MSM
http://linked.open...avai/start-reseni	2009-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	76 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	76 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	0 (xsd:integer)
http://linked.open...ku-zverejnovanych	0 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2009/MEB060912/orjk-15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2010/MEB060912/orjk-15310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/MEB060912/orjk-15310

Faceted Search & Find service v1.16.121 as of Mar 31 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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