This HTML5 document contains 45 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/
n18http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/resource/domain/vavai/zamer/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F03%3A00002084%21RIV%2F2005%2FMSM%2F153105%2FN/
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#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F03%3A00002084%21RIV%2F2005%2FMSM%2F153105%2FN
rdf:type
skos:Concept n18:Vysledek
dcterms:description
Zavádí se tzv. kvazidistributivní implikační grupoidy, které jsou zobecněním distributivních implikačních grupoidů. Distributive implication groupoids as an essential generalization ofthe implication reduct of intuitionistic logic were introduced and studiedby the second author and I.Chajda. It has been proved that for thesealgebras ideals, deductive systems and congruence kernels coincide. In thepaper the same connection is shown even if the implication groupoid isquasi-distributive. Distributive implication groupoids as an essential generalization ofthe implication reduct of intuitionistic logic were introduced and studiedby the second author and I.Chajda. It has been proved that for thesealgebras ideals, deductive systems and congruence kernels coincide. In thepaper the same connection is shown even if the implication groupoid isquasi-distributive.
dcterms:title
Kvasidistributivní implikační grupoidy Quasi-distributive implication groupoids Quasi-distributive implication groupoids
skos:prefLabel
Quasi-distributive implication groupoids Kvasidistributivní implikační grupoidy Quasi-distributive implication groupoids
skos:notation
RIV/61989592:15310/03:00002084!RIV/2005/MSM/153105/N
n3:strany
151-158
n3:aktivita
n13:Z
n3:aktivity
Z(MSM 153100011)
n3:cisloPeriodika
2
n3:dodaniDat
n11:2005
n3:domaciTvurceVysledku
n15:3213145 n15:5502470
n3:druhVysledku
n6:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
624428
n3:idVysledku
RIV/61989592:15310/03:00002084
n3:jazykVysledku
n5:eng
n3:klicovaSlova
implication groupoid;ideal;deductive system;congruencekernel;quasi-distributivity
n3:klicoveSlovo
n10:deductive%20system n10:quasi-distributivity n10:ideal n10:implication%20groupoid n10:congruencekernel
n3:kodStatuVydavatele
TH - Thajské království
n3:kontrolniKodProRIV
[32F5A6AF0167]
n3:nazevZdroje
East-West Journal of Mathematics
n3:obor
n12:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n11:2003
n3:svazekPeriodika
5
n3:tvurceVysledku
Halaš, Radomír Emanovský, Petr
n3:zamer
n17:MSM%20153100011
s:issn
0125-2526
s:numberOfPages
8
n9:organizacniJednotka
15310