%0 Journal Article
%T Symmetric Boolean Algebras
%A R. D¨Şaz and M. Rivas
%J ACTA MATHEMATICA 
UNIVERSITATIS COMENIANAE
%D 2010
%I Acta Mathematica Universitatis Comenianae
%X In order to study Boolean algebras in the category of vector spaces we introduce a prop whose algebras in set are Boolean algebras. A probabilistic logical interpretation for linear Boolean algebras is provided. An advantage of defining Boolean algebras in the linear category is that we are able to study its symmetric powers. We give explicit formulae for products in symmetric and cyclic Boolean algebras of various dimensions and formulate symmetric forms of the inclusion-exclusion principle.
%K Boolean algebras
%K combinatorics
%K probabilistic logic.
%U http://www.emis.de/journals/AMUC/_vol-79/_no_2/_diaz/diaz.html