BCK algebrák kontra m-BCK algebrák. Foundations

Eredeti címe:

BCK Algebras versus m-BCK Algebras. Foundations

Könyv tartalma:

Ez a monográfia a szerző 2019 áprilisa óta elért eredményeit gyűjti össze, amelyek hét tanulmányban jelentek meg. Kezdve a.

BCK-algebrákra összpontosító keretes munkából kiindulva az m-BCK-algebrákat definiáljuk („m” a „magma” szóból származik) (az MV-t és a.

Boolean algebrák) és más általánosabb algebrák, így kapunk egy analóg új keret-work-ot, amelynek középpontjában az m-BCK algebrák állnak.

A két keretrendszert összekötő „híd-tételeket” kapunk az involutív esetben.

Ebbe az új keretrendszerbe illeszkednek a kvantumszerkezetek: a korlátos involutív rácsok, a De Morgan-algebrák,.

Az ortolrácsok, a kvantum-MV-algebrák, az ortomoduláris rácsok, fontos új eredményekkel és sok példával, amelyeket a felhasználásával kaptunk.

A Prover9/Mace4 számítógépes program. A könyvben szerepel továbbá néhány új, eddig soha nem publikált eredmény az L algebrákra, a kvantum B.

algebrákról, pszeudo-BCI/pszeudo-BCK algebrákról és prealgebrákról (a nem-kommutatív esetben), valamint fontos záró eredmények a kvantumstruktúrákról,.

Sok példával.

A monográfia 17 fejezetből áll, három részre osztva: Az I. rész a BCK-algebrák és az ál-BCK-algebrák „világára” összpontosít,.

A II. rész az m-BCK algebrák „világára” koncentrál, a III. rész pedig a két „világ” közötti „híd-tételekkel” foglalkozik.