An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.

Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macas

Browse the full AISC paper archive.