Publicações > Artigos em Revistas Internacionais

v*-algebras, Independence Algebras and Logic

Araújo, João; Edmundo, M.; Givant, S.

International Journal on Algebra and Computation, 21, 7 (2011), 1237-1257
http://dx.doi.org/10.1142/S0218196711006923

Independence algebras were introduced in the early 1990s by specialists in semigroup theory, as a tool to explain similarities between the transformation monoid on a set and the endomorphism monoid of a vector space. It turned out that these algebras had already been defined and studied in the 1960s, under the name of v?-algebras, by specialists in universal algebra (and statistics). Our goal is to complete this picture by discussing how, during the middle period, independence algebras began to play a very important role in logic.