BCK Algebras versus m-BCK Algebras. Foundations
V tejto monografii sú zhromaždené výsledky autora získané od apríla 2019, ktoré boli publikované v siedmich článkoch. Počnúc.
Rámcovej práce sústredenej na algebry BCK sú defi nované algebry m-BCK („m“ pochádza od „magma“) (algebry zahŕňajúce MV a.
Booleových algebier) a ďalšie všeobecnejšie algebry, čím sa získa analogický nový frame-work, sústredený na m-BCK algebry.
Získané sú „premosťovacie vety“ spájajúce tieto dva rámce v involučnom prípade.
Do tohto nového rámca sú začlenené kvantové štruktúry: ohraničené involučné mriežky, De Morganove algebry,.
Ortolaty, kvantové MV algebry, ortomodulárne mriežky, s dôležitými novými výsledkami a mnohými príkladmi získanými pomocou.
Počítačový program Prover9/Mace4. Súčasťou knihy sú aj niektoré nové, doteraz nepublikované výsledky o L algebrách, o kvantových B.
algebrách, pseudo-BCI/pseudo-BCK algebrách a prealgebrách (v nekomutatívnom prípade) a dôležité záverečné výsledky o kvantových štruktúrach,.
S mnohými príkladmi.
Táto monografia má 17 kapitol, rozdelených do troch častí: Časť I sa zameriava na „svet“ BCK algebier a pseudo-BCK algebier,.
Časť II sa zameriava na „svet“ m-BCK algebier a časť III sa zaoberá „premosťovacími tvrdeniami“ medzi týmito dvoma „svetmi“.