Teorias proposicionales asociadas a estructuras algebraicas (Spanish text)

In this thesis, the propositional theories T (μ)(Δ) associated with an algebraic structure Δ such that: groups, rings, modules and lattices are defined. In particular it is proven that there is a one to one correspondence between the algebraic substructures of Δ and models of the propositional theory T(Δ). This definition is also extended for a universal algebra $U$. In particular, the existence of a one to one correspondence between the congruence relations of the algebra $U$ and models of the propositional theory T$U$ associated with an algebra $U$ is proved. Various examples are presented in detail. Some of these examples are: the integer $Z,i=l$