. . "RIV/61989592:15310/07:00004743" . "Heldermann Verlag" . . "K\u00FChr, Jan" . . . "234"^^ . . . "Semilattice Structures" . "Lemgo, Germany" . "Semilattice Structures" . "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 . "[B00215F78761]" . "Z(MSM6198959214)" . . "Semilattice; pseudocomplemented semilattice; relatively pseudocomplemented semilattices; sectionally pseudocomplemented semilattice; implication algebra; residuated semilattice; hoop; Hilbert algebra; BCC-algebra; BCK-algebra; MV-algebra."@en . "Chajda, Ivan" . "Semilattice Structures" . "Polosvazov\u00E9 struktury"@cs . . "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." . . "449382" . . "234"^^ . . . . "Semilattice Structures"@en . . . "Polosvazov\u00E9 struktury"@cs . "Kniha p\u0159in\u00E1\u0161\u00ED mnoho zn\u00E1m\u00FDch i nov\u00FDch v\u00FDsledk\u016F v oblasti polosvaz\u016F a polosvazov\u011B uspo\u0159\u00E1dan\u00FDch struktur. Kapitola 1 shrnuje z\u00E1kladn\u00ED pojmy. Kapitola 2 je v\u011Bnov\u00E1na polosvaz\u016Fm a jejich algebraick\u00FDm a kongruen\u010Dn\u00EDm vlastnostem. Dal\u0161\u00ED dv\u011B kapitoly se zab\u00FDvaj\u00ED pseudokomplement\u00E1rn\u00EDmi a relativn\u011B pseudokomplement\u00E1rn\u00EDmi polosvazy. Sek\u010Dn\u011B pseudokomplement\u00E1rn\u00ED polosvazy jsou studov\u00E1ny v kapitole 5. Kapitola 6 obsahuje n\u011Bkolik druh\u016F tzv. implika\u010Dn\u00EDch algeber, tj. algeber s jednou bin\u00E1rn\u00ED operac\u00ED, kterou si lze p\u0159edstavit jako implikaci v jist\u00E9 v\u00FDrokov\u00E9 logice. Kapitola 7 je pak v\u011Bnov\u00E1na reziduovan\u00FDm polosvaz\u016Fm a speci\u00E1ln\u011B tzv. hoop\u00E1m. Jsou zde zavedeny i sek\u010Dn\u011B residuovan\u00E9 polosvazy. V z\u00E1v\u011Bre\u010Dn\u00E9 kapitole8 se pozornost zam\u011B\u0159uje na struktury, kter\u00E9 \u00FAzce souvisej\u00ED s logikou, av\u0161ak nejsou to polosvazy."@cs . . . "3"^^ . "978-3-88538-230-0" . "Semilattice Structures"@en . . . . "RIV/61989592:15310/07:00004743!RIV08-MSM-15310___" . . "15310" . . "3"^^ . . . "Hala\u0161, Radom\u00EDr" .