"14" Result
Sort By:
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper inclu…
"We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group relation algebra on some infinite group (or on arbitrarily large finite groups), must have an undecidable equational theor…
Algebraic logic
by Andréka, H., Németi, I., Monk, J. D.
fromColloquia mathematica Societatis János Bolyai
0
Type: Book