Algebras of logic as BCK algebras

Autor

Anul apariției

ISBN

978-606-505-091-4

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ă.

Clear
Tip carte: Alege din variantele disponibile

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ă.