Algebras of logic as BCK algebras

Aceasta monografie colecteaza rezultatele principale, publicate sau inca nepublicate, obtinute de catre autor, in ultimii sase ani, in incercarea de a trata unitar unele algebre comutative de logica si non-algebre corespunzatoare comutative de logica, ca si cazuri speciale de algebre inversate stanga-BCK si respectiv inversate stanga-pseudo-BCK, in scopul de a fi mai aproape de logica. Se mentioneaza ca algebra booleana, algebra Hilbert, algebra Heyting si algebra Gödel, nu pot fi generalizate la non-cazul comutativ.

Exista doua grupuri principale de cititori carora le este destinata aceasta carte: in primul rand, studentilor de la master si doctoranzilor in algebra logica si informatica, iar in al doilea rand, la fel de important, cercetatorilor implicati in algebra logica si informatica.