Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Representation Theorems for Symmetric and Intuitionistic Algebras by Classical Sets

Franceso Esteva

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-87-332
March 1986

http://www.eecs.berkeley.edu/Pubs/TechRpts/1987/CSD-87-332.pdf

All Symmetric and Intuitionistic Algebras are represented by Symmetric or Intuitionistic Algebras of classical sets obtaining, as a corollary, the Bialynicki-Birula and Rasiowa's theorem for De Morgan Algebras.


BibTeX citation:

@techreport{Esteva:CSD-87-332,
    Author = {Esteva, Franceso},
    Title = {Representation Theorems for Symmetric and Intuitionistic Algebras by Classical Sets},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1986},
    Month = {Mar},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/5997.html},
    Number = {UCB/CSD-87-332},
    Abstract = {All Symmetric and Intuitionistic Algebras are represented by Symmetric or Intuitionistic Algebras of classical sets obtaining, as a corollary, the Bialynicki-Birula and Rasiowa's theorem for De Morgan Algebras.}
}

EndNote citation:

%0 Report
%A Esteva, Franceso
%T Representation Theorems for Symmetric and Intuitionistic Algebras by Classical Sets
%I EECS Department, University of California, Berkeley
%D 1986
%@ UCB/CSD-87-332
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/5997.html
%F Esteva:CSD-87-332