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/
n12http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n20http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F04%3A00002065%21RIV%2F2005%2FMSM%2F153105%2FN/
n5http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
n8http://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#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://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/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F04%3A00002065%21RIV%2F2005%2FMSM%2F153105%2FN
rdf:type
n5:Vysledek skos:Concept
dcterms:description
The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets´with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction. The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets´with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction. Je zaveden pojem b-deduktivního systému a studuje se vztah mezi b-deduktivními systémy a kongruenčními jádry. Definuje se Galoisova konexe mezi množinami binárních termových funkcí a systémy podmnožin dané algebry. Studují se uzavřené množiny vzhledem k indukovaným uzávěrovým operátorům a algebraické vlastnosti systémů podmnožin souvisejících s danou termovou funkcí.
dcterms:title
Deductive systems and Galois connections Deductive systems and Galois connections Deduktivní systémy a Galoisovy konexe
skos:prefLabel
Deductive systems and Galois connections Deductive systems and Galois connections Deduktivní systémy a Galoisovy konexe
skos:notation
RIV/61989592:15310/04:00002065!RIV/2005/MSM/153105/N
n3:strany
399-412
n3:aktivita
n18:Z
n3:aktivity
Z(MSM 153100011)
n3:dodaniDat
n19:2005
n3:domaciTvurceVysledku
n20:3213145 n20:9055819
n3:druhVysledku
n14:C
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
559552
n3:idVysledku
RIV/61989592:15310/04:00002065
n3:jazykVysledku
n13:eng
n3:klicovaSlova
deductive system;Galois connection
n3:klicoveSlovo
n9:Galois%20connection n9:deductive%20system
n3:kontrolniKodProRIV
[F0318F549615]
n3:mistoVydani
Dordrecht
n3:nazevEdiceCisloSvazku
Neuveden
n3:nazevZdroje
Galois Connections and Applications
n3:obor
n16:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n19:2004
n3:tvurceVysledku
Chajda, Ivan Halaš, Radomír
n3:zamer
n8:MSM%20153100011
s:numberOfPages
500
n7:hasPublisher
Kluwer
n17:isbn
1-4020-1898-3
n12:organizacniJednotka
15310