This HTML5 document contains 52 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/
n19http://localhost/temp/predkladatel/
n6http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
n16http://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#
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F07%3A00004743%21RIV08-MSM-15310___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F07%3A00004743%21RIV08-MSM-15310___
rdf:type
skos:Concept n18:Vysledek
dcterms:description
Many known and new results on semilattices and semilattice-bases algebraic structures are presented. Chapter 1 contains a survey of fundamental notions, Chapter 2 is devoted to semilattices and their algebraic and congruence properties. The next two chapters deal with pseudocomplemented and relatively pseudocomplemented semilattices, respectively. Sectionally pseudocomplemented semilattices are studied in Chapter 5. In Chaper 6, several kinds of implication algebras, i.e., algebras with a single binary operation which can be thought of as the implication in a certain propositional logic, are collected. Chapter 7 is then devoted to residuated semilattices and, in particular, to hoops which generalize relatively pseudocomplemented semilattices; also sectionally residuated semilattices are defined. Finally, in Chapter 8, structures related to logics which are not semilattices are focused. Many known and new results on semilattices and semilattice-bases algebraic structures are presented. Chapter 1 contains a survey of fundamental notions, Chapter 2 is devoted to semilattices and their algebraic and congruence properties. The next two chapters deal with pseudocomplemented and relatively pseudocomplemented semilattices, respectively. Sectionally pseudocomplemented semilattices are studied in Chapter 5. In Chaper 6, several kinds of implication algebras, i.e., algebras with a single binary operation which can be thought of as the implication in a certain propositional logic, are collected. Chapter 7 is then devoted to residuated semilattices and, in particular, to hoops which generalize relatively pseudocomplemented semilattices; also sectionally residuated semilattices are defined. Finally, in Chapter 8, structures related to logics which are not semilattices are focused. Kniha přináší mnoho známých i nových výsledků v oblasti polosvazů a polosvazově uspořádaných struktur. Kapitola 1 shrnuje základní pojmy. Kapitola 2 je věnována polosvazům a jejich algebraickým a kongruenčním vlastnostem. Další dvě kapitoly se zabývají pseudokomplementárními a relativně pseudokomplementárními polosvazy. Sekčně pseudokomplementární polosvazy jsou studovány v kapitole 5. Kapitola 6 obsahuje několik druhů tzv. implikačních algeber, tj. algeber s jednou binární operací, kterou si lze představit jako implikaci v jisté výrokové logice. Kapitola 7 je pak věnována reziduovaným polosvazům a speciálně tzv. hoopám. Jsou zde zavedeny i sekčně residuované polosvazy. V závěrečné kapitole8 se pozornost zaměřuje na struktury, které úzce souvisejí s logikou, avšak nejsou to polosvazy.
dcterms:title
Semilattice Structures Polosvazové struktury Semilattice Structures
skos:prefLabel
Semilattice Structures Semilattice Structures Polosvazové struktury
skos:notation
RIV/61989592:15310/07:00004743!RIV08-MSM-15310___
n3:aktivita
n14:Z
n3:aktivity
Z(MSM6198959214)
n3:dodaniDat
n8:2008
n3:domaciTvurceVysledku
n11:3213145 n11:9055819 n11:2776553
n3:druhVysledku
n5:B
n3:duvernostUdaju
n13:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
449382
n3:idVysledku
RIV/61989592:15310/07:00004743
n3:jazykVysledku
n20:eng
n3:klicovaSlova
Semilattice; pseudocomplemented semilattice; relatively pseudocomplemented semilattices; sectionally pseudocomplemented semilattice; implication algebra; residuated semilattice; hoop; Hilbert algebra; BCC-algebra; BCK-algebra; MV-algebra.
n3:klicoveSlovo
n4:BCK-algebra n4:Hilbert%20algebra n4:MV-algebra. n4:implication%20algebra n4:residuated%20semilattice n4:sectionally%20pseudocomplemented%20semilattice n4:relatively%20pseudocomplemented%20semilattices n4:BCC-algebra n4:Semilattice n4:pseudocomplemented%20semilattice n4:hoop
n3:kontrolniKodProRIV
[B00215F78761]
n3:mistoVydani
Lemgo, Germany
n3:nazevZdroje
Semilattice Structures
n3:obor
n7:BA
n3:pocetDomacichTvurcuVysledku
3
n3:pocetStranKnihy
234
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n8:2007
n3:tvurceVysledku
Kühr, Jan Chajda, Ivan Halaš, Radomír
n3:zamer
n16:MSM6198959214
s:numberOfPages
234
n6:hasPublisher
Heldermann Verlag
n17:isbn
978-3-88538-230-0
n19:organizacniJednotka
15310