This HTML5 document contains 39 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/
n12http://localhost/temp/predkladatel/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/ontology/domain/vavai/
n17http://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/
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F09%3A00010214%21RIV10-MSM-15310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F09%3A00010214%21RIV10-MSM-15310___
rdf:type
n6:Vysledek skos:Concept
dcterms:description
Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems. Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems.
dcterms:title
Deductive systems and annihilators of pseudo BCK-algebras Deductive systems and annihilators of pseudo BCK-algebras
skos:prefLabel
Deductive systems and annihilators of pseudo BCK-algebras Deductive systems and annihilators of pseudo BCK-algebras
skos:notation
RIV/61989592:15310/09:00010214!RIV10-MSM-15310___
n3:aktivita
n18:Z
n3:aktivity
Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n7:2010
n3:domaciTvurceVysledku
n11:2776553 n11:3213145
n3:druhVysledku
n14:J
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
309232
n3:idVysledku
RIV/61989592:15310/09:00010214
n3:jazykVysledku
n13:eng
n3:klicovaSlova
Pseudo BCK-algebra; Deductive system; Annihilator
n3:klicoveSlovo
n5:Deductive%20system n5:Annihilator n5:Pseudo%20BCK-algebra
n3:kodStatuVydavatele
IT - Italská republika
n3:kontrolniKodProRIV
[06DECB47ABCB]
n3:nazevZdroje
Italian Journal of Pure and Applied Mathematics
n3:obor
n16:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n7:2009
n3:svazekPeriodika
25
n3:tvurceVysledku
Kühr, Jan Halaš, Radomír
n3:zamer
n17:MSM6198959214
s:issn
1126-8042
s:numberOfPages
20
n12:organizacniJednotka
15310