This HTML5 document contains 42 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/
n11http://localhost/temp/predkladatel/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F11%3A33116136%21RIV13-MSM-15310___/
n12http://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/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F11%3A33116136%21RIV13-MSM-15310___
rdf:type
skos:Concept n10:Vysledek
dcterms:description
It is shown that every finite order algebra having a kind of implication, negation and one more binary operation derived from the order is functionally complete. The proof is based on the classification of maximal clones invented by I.G. Rosenberg. It is shown that every finite order algebra having a kind of implication, negation and one more binary operation derived from the order is functionally complete. The proof is based on the classification of maximal clones invented by I.G. Rosenberg.
dcterms:title
Completeness of Order Algebras Completeness of Order Algebras
skos:prefLabel
Completeness of Order Algebras Completeness of Order Algebras
skos:notation
RIV/61989592:15310/11:33116136!RIV13-MSM-15310___
n10:predkladatel
n16:orjk%3A15310
n3:aktivita
n17:Z
n3:aktivity
Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n9:2013
n3:domaciTvurceVysledku
n5:3213145 n5:9055819
n3:druhVysledku
n19:J
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
191382
n3:idVysledku
RIV/61989592:15310/11:33116136
n3:jazykVysledku
n8:eng
n3:klicovaSlova
order algebra, functional completeness, clone
n3:klicoveSlovo
n7:order%20algebra n7:functional%20completeness n7:clone
n3:kodStatuVydavatele
US - Spojené státy americké
n3:kontrolniKodProRIV
[6F127C3ACA65]
n3:nazevZdroje
Journal of Multiple-Valued Logic and Soft Computing
n3:obor
n13:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n9:2011
n3:svazekPeriodika
17
n3:tvurceVysledku
Machida, Hajime Halaš, Radomír Chajda, Ivan
n3:wos
000284387300005
n3:zamer
n12:MSM6198959214
s:issn
1542-3980
s:numberOfPages
6
n11:organizacniJednotka
15310