Abstract Algebraic Logic. an Introductory Textbook Font Josep MariaPaperback
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This…
Specifikacia Abstract Algebraic Logic. an Introductory Textbook Font Josep MariaPaperback
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emerging subfield of mathematical logic consolidated since the 1980s, and is considered as the algebraic logic of the twenty-first century; as such it is increasingly becoming an indispensable tool to approach the algebraic study of any (mainly sentential) logic in a systematic way. This book is an introductory textbook on abstract algebraic logic, and takes a bottom-up approach, treating first logics with a simpler algebraic study, such as Rasiowa's implicative logics, and then guides readers, by means of successive steps of generalization and abstraction, to meet more and more complicated algebra-based semantics. An entire chapter is devoted to Blok and Pigozzi's theory of algebraizable logics,
Algebraic Logic