This HTML5 document contains 44 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/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F08%3A00005648%21RIV09-MSM-15310___/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F08%3A00005648%21RIV09-MSM-15310___
rdf:type
n16:Vysledek skos:Concept
dcterms:description
Implikační grupoidy zobecňují Hilbertovy algebry, které jsou implikačními redukty intuicionistických logik. V práci jsou studovány vztahy mezi deduktivními systémy, ideály a kongruenčními jádry. Tyto pojmy jsou totožné v případě, že implikační grupoid je distributivní. Implication groupoids generalize Hilbert algebras, the implication reducts of intuitionistic logics. Several connections among ideals, deductive systems and congruence kernels are studied. These concepts coincide if an implication groupoid is distributive. Implication groupoids generalize Hilbert algebras, the implication reducts of intuitionistic logics. Several connections among ideals, deductive systems and congruence kernels are studied. These concepts coincide if an implication groupoid is distributive.
dcterms:title
Distributive implication groupoids Distributivní implikační grupoidy Distributive implication groupoids
skos:prefLabel
Distributive implication groupoids Distributivní implikační grupoidy Distributive implication groupoids
skos:notation
RIV/61989592:15310/08:00005648!RIV09-MSM-15310___
n5:aktivita
n9:Z
n5:aktivity
Z(MSM6198959214)
n5:cisloPeriodika
3
n5:dodaniDat
n17:2009
n5:domaciTvurceVysledku
n14:9055819 n14:3213145
n5:druhVysledku
n18:J
n5:duvernostUdaju
n7:S
n5:entitaPredkladatele
n15:predkladatel
n5:idSjednocenehoVysledku
363922
n5:idVysledku
RIV/61989592:15310/08:00005648
n5:jazykVysledku
n13:eng
n5:klicovaSlova
distributive implication groupoid; ideal; deductive system; congruence kernel; left distributivity
n5:klicoveSlovo
n6:distributive%20implication%20groupoid n6:deductive%20system n6:left%20distributivity n6:congruence%20kernel n6:ideal
n5:kodStatuVydavatele
PL - Polská republika
n5:kontrolniKodProRIV
[9CE7D5A688FE]
n5:nazevZdroje
Central European Journal of Mathematics
n5:obor
n10:BA
n5:pocetDomacichTvurcuVysledku
2
n5:pocetTvurcuVysledku
2
n5:rokUplatneniVysledku
n17:2008
n5:svazekPeriodika
5
n5:tvurceVysledku
Halaš, Radomír Chajda, Ivan
n5:zamer
n12:MSM6198959214
s:issn
1644-3616
s:numberOfPages
9
n11:organizacniJednotka
15310