Algebre BCK contro algebre m-BCK. Fondamenti

Titolo originale:

BCK Algebras versus m-BCK Algebras. Foundations

Contenuto del libro:

Questa monografia raccoglie i risultati ottenuti dall'autore a partire dall'aprile 2019, pubblicati in sette articoli. Partendo dal.

Frame-work centrato sulle algebre BCK, vengono definite le algebre m-BCK (“m” deriva da “magma”) (algebre che includono le MV e le.

Booleane) e altre algebre più generali, ottenendo così un'analoga nuova struttura, centrata sulle algebre m-BCK.

Si ottengono “teoremi ponte” che collegano le due strutture, nel caso involutivo.

All'interno di questo nuovo quadro di riferimento sono state inserite le strutture quantistiche: i reticoli involutivi vincolati, le algebre di De Morgan.

Gli ortolattici, le algebre quantistiche MV, i reticoli ortomodulari, con nuovi importanti risultati e numerosi esempi ottenuti utilizzando.

Il programma informatico Prover9/Mace4. Nel libro sono inclusi anche alcuni nuovi risultati, mai pubblicati prima, sulle algebre L, sulle algebre B quantistiche, sulle algebre pseudo-B e sulle algebre B quantistiche.

Algebre, algebre pseudo-BCI/pseudo-BCK e prealgebre (nel caso non commutativo) e importanti risultati finali sulle strutture quantistiche.

Con molti esempi.

Questa monografia è composta da 17 capitoli, divisi in tre parti: La Parte I si concentra sul “mondo” delle algebre BCK e delle pseudo-BCK.

La Parte II si concentra sul “mondo” delle algebre m-BCK e la Parte III riguarda i “teoremi ponte” tra i due “mondi”.