First-order theories as many-sorted algebras (Q795823)

This work shows that it is possible to reconstruct fundamental logical notions in the universal algebraic framework. Namely, a first-order theory is expressed as a many-sorted algebra verifying equational axioms and thus Henkin's models, first-order completeness and first order equational calculus are obtained, in purely algebraic style, by using Birkhoff's theorems on varieties.