Semilattice Structures
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00004743" target="_blank" >RIV/61989592:15310/07:00004743 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Semilattice Structures
Original language 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 binaryoperation 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.
Czech name
Polosvazové struktury
Czech description
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.
Classification
Type
B - Specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
978-3-88538-230-0
Number of pages
234
Publisher name
Heldermann Verlag
Place of publication
Lemgo, Germany
UT code for WoS book
—