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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n9http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F06%3A00003226%21RIV07-MSM-15310___/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F06%3A00003226%21RIV07-MSM-15310___
rdf:type
skos:Concept n11:Vysledek
dcterms:description
Je dokázáno, že každý direktoid se sekčně přepínacími involucemi lze representovat jako jistou implikační algebru. Je-li tento direktoid dokonce komutativní, odpovíající implikační algebra je určena čtyřmi jednoduchými identitami. It is shown that every directoid equipped with sectionally switching mappings can be represented as a certain implikacion algebry. Moreover, in the directoid is also commutative, the corresponding implication algebra is defined by four simple identities. It is shown that every directoid equipped with sectionally switching mappings can be represented as a certain implikacion algebry. Moreover, in the directoid is also commutative, the corresponding implication algebra is defined by four simple identities.
dcterms:title
Directoids with sectionally switching involutions. Direktoidy se sekčními přepínacími involucemi. Directoids with sectionally switching involutions.
skos:prefLabel
Direktoidy se sekčními přepínacími involucemi. Directoids with sectionally switching involutions. Directoids with sectionally switching involutions.
skos:notation
RIV/61989592:15310/06:00003226!RIV07-MSM-15310___
n3:strany
35-41
n3:aktivita
n16:Z
n3:aktivity
Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n8:2007
n3:domaciTvurceVysledku
n15:9055819
n3:druhVysledku
n18:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
471844
n3:idVysledku
RIV/61989592:15310/06:00003226
n3:jazykVysledku
n10:eng
n3:klicovaSlova
directoid; commutative directoid; semilattice; involution algebry; sectionally switching mapping
n3:klicoveSlovo
n7:commutative%20directoid n7:semilattice n7:directoid n7:involution%20algebry n7:sectionally%20switching%20mapping
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[36F476206A00]
n3:nazevZdroje
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica
n3:obor
n13:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n8:2006
n3:svazekPeriodika
45
n3:tvurceVysledku
Chajda, Ivan
n3:zamer
n6:MSM6198959214
s:issn
0231-9721
s:numberOfPages
7
n9:organizacniJednotka
15310