Polosvazové struktury

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Semilattice Structures

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Semilattice Structures

Popis výsledku anglicky

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.

Druh

B - Odborná kniha

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-3-88538-230-0

Počet stran knihy

234

Název nakladatele

Heldermann Verlag

Místo vydání

Lemgo, Germany

Kód UT WoS knihy

—