BCK Algebras versus m-BCK Algebras. Foundations
Diese Monographie versammelt die seit April 2019 erzielten Ergebnisse des Autors, die in sieben Arbeiten veröffentlicht wurden. Ausgehend von der.
Rahmenwerk, das sich auf BCK-Algebren konzentriert, werden m-BCK-Algebren defi niert ('m' kommt von 'magma') (Algebren einschließlich der MV und der.
Boolesche Algebren) und andere allgemeinere Algebren definiert, so dass ein analoges neues Rahmenwerk entsteht, das sich auf m-BCK-Algebren konzentriert.
Brückentheoreme“, die die beiden Rahmenwerke verbinden, werden im involutiven Fall gewonnen.
In diesen neuen Rahmen sind die Quantenstrukturen eingebettet: die begrenzten involutiven Gitter, die De-Morgan-Algebren,.
Die ortholattices, die Quanten-MV-Algebren, die orthomodularen Gitter, mit wichtigen neuen Ergebnissen und vielen Beispielen, die mit Hilfe von.
Das Computerprogramm Prover9/Mace4. Das Buch enthält auch einige neue, noch nie veröffentlichte Ergebnisse zu L-Algebren, zu Quanten-B.
Algebren, Pseudo-BCI/Pseudo-BCK-Algebren und Präalgebren (im nicht-kommutativen Fall) und wichtige Endergebnisse zu Quantenstrukturen.
Mit vielen Beispielen.
Diese Monographie besteht aus 17 Kapiteln, die in drei Teile unterteilt sind: Teil I konzentriert sich auf die „Welt“ der BCK-Algebren und der Pseudo-BCK-Algebren,.
Teil II konzentriert sich auf die „Welt“ der m-BCK-Algebren und Teil III befasst sich mit „Brückentheoremen“ zwischen den beiden „Welten“.
| ISBN: | 9781848904163 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
