| Attributes | Values |
|---|
| rdf:type
| |
| 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. (en)
- 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. (cs)
|
| Title
| - Semilattice Structures
- Polosvazové struktury (cs)
- Semilattice Structures (en)
|
| skos:prefLabel
| - Semilattice Structures
- Polosvazové struktury (cs)
- Semilattice Structures (en)
|
| skos:notation
| - RIV/61989592:15310/07:00004743!RIV08-MSM-15310___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/61989592:15310/07:00004743
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Semilattice; pseudocomplemented semilattice; relatively pseudocomplemented semilattices; sectionally pseudocomplemented semilattice; implication algebra; residuated semilattice; hoop; Hilbert algebra; BCC-algebra; BCK-algebra; MV-algebra. (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...v/pocetStranKnihy
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Chajda, Ivan
- Halaš, Radomír
- Kühr, Jan
|
| http://linked.open...n/vavai/riv/zamer
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| |
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)