Algebre BCK versus algebre m-BCK. Fundamente

Titlul original:

BCK Algebras versus m-BCK Algebras. Foundations

Conținutul cărții:

Această monografie reunește rezultatele obținute de autor începând cu aprilie 2019, care au fost publicate în șapte lucrări. Pornind de la.

Frame-work centrat pe algebrele BCK, se definesc algebrele m-BCK („m” provenind de la „magma”) (algebre care includ MV și.

Boolean algebras) și alte algebre mai generale, obținându-se astfel un nou cadru analog, centrat pe algebrele m-BCK.

Se obțin „teoreme punte” care leagă cele două cadre, în cazul involutiv.

În acest nou cadru sunt încorporate structurile cuantice: rețelele involutive delimitate, algebrele De Morgan,.

Ortholattices, algebrele cuantice MV, lattices orthomodulare, cu noi rezultate importante și numeroase exemple obținute prin utilizarea.

Programul de calculator Prover9/Mace4. De asemenea, în carte sunt incluse unele rezultate noi, nepublicate până acum, asupra algebrelor L, asupra algebrelor cuantice B.

Algebre, algebre și prealgebre pseudo-BCI/pseudo-BCK (în cazul necomutativ) și rezultate finale importante asupra structurilor cuantice,.

Cu numeroase exemple.

Această monografie are 17 capitole, împărțite în trei părți: Partea I se concentrează pe „lumea” algebrelor BCK și a algebrelor pseudo-BCK,.

Partea a II-a se concentrează pe „lumea” algebrelor m-BCK, iar Partea a III-a se referă la „teoreme punte” între cele două „lumi”.