Universal Algebraic Logic

Autor

Hajnal Andréka

Editura

Springer

An publicare

2019

Nr. Pagini

260

ISBN

9783764385057

Categorii

Stiinte Matematica Matematica Si Stiinte Fundatiile Matematicii

Descriere

This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic proper including algebras of relations of various ranks, Tarski's cylindric algebras, relation algebras, Halmos' polyadic algebras and other kinds of algebras of logic.