Two old representation theorems and Information Systems
Luisa Iturrioz · Logic Journal of IGPL · 2011
We recall two old representation theorems, the first from P. Halmos, the second from A. Monteiro and L. Iturrioz concerning monadic Boolean algebras and monadic Tarski algebras, respectively. These powerful theorems show the adequacy of these abstract algebras with regard to ‘concrete’ algebraic systems arising in Information Systems.