Trabajo de grado - Pregrado
Generalizaciones de una definici?n iterativa de ?lgebra booleana
Registro en:
Autor
Caviedes Barrios, Oscar Fabi?n
Lozano Rend?n, Leidy Geovana
Institución
Resumen
58 P?ginas Introducci?n 4
1 Las estructuras 6
1.1 Semirret?culos 6
1.2 Ret?culos 10
1.3 Algebras booleanas 20
1.4 Algebras de Heyting 23
1.5 Algebras de Hilbert 30
1.6 Semirret?culos de Hilbert 36
2 Definiciones iterativas 40
2.1 Ret?culos distributivos 40
2.2 Algebras booleanas 41
2.3 Semirret?culos de Hilbert 47
2.4 Algebras de Heyting 50
Conclusiones 55
Bibliograf?a 56