
Algebras of logic as BCK algebras
72,40 lei
Această monografie colectează rezultatele principale, publicate sau încă nepublicate, obţinute de către autor, în încercarea de a trata unitar unele algebre comutative de logică şi non-algebre corespunzătoare comutative de logică, precum şi cazuri speciale de algebre inversate stânga-BCK şi, respectiv, inversate stânga-pseudo-BCK, în scopul de a fi mai aproape de logică.
Această monografie colectează rezultatele principale, publicate sau încă nepublicate, obţinute de către autor în ultimii şase ani, în încercarea de a trata unitar unele algebre comutative de logică şi non-algebre corespunzătoare comutative de logică, precum şi cazuri speciale de algebre inversate stânga-BCK şi, respectiv, inversate stânga-pseudo-BCK, în scopul de a fi mai aproape de logică. Se menţionează că algebra booleană, algebra Hilbert, algebra Heyting şi algebra Gödel nu pot fi generalizate la non-cazul comutativ.
Există două grupuri principale de cititori cărora le este destinată această carte: în primul rând, studenţilor de la masterat şi doctoranzilor în algebra logică şi informatică, iar în al doilea rând, la fel de important, cercetătorilor implicaţi în algebra logică şi informatică.
