ESTRUCTURAS CASI-MODALES E IMPLICATIVAS GENERALIZADAS.
Autor:
CASTRO JORGE.
Año:
2003.
Universidad: BARCELONA [
Más tesis de esta universidad] [
www.ub.es].
Centro de lectura: FILOSOFIA.
Centro de realización: FACULTAD DE FILOSOFÍA.
Enlace a esta ficha: http://www.kriptia.com/LOGICA/LOGICA_DEDUCTIVA/1#107154
Resumen: Se muestra que las estructuras casi-modales generalizan a los retículos modales.Mientras que las del segundo tipo de estructura generalizan a las álgebras de Heyting débiles.Para ambos casos se encuentra una dualidad topológica tipo Priestley, y como aplicaciones de esta dualidad son caracterizados diversos conceptos definidos (congruencia,subestructuras, estructuras simples y subdirectamente irreducibles, etc.).Las álgebras positivas modales son generalizadas en términos de estructuras casi-modales.Se estudian también, estructuras implicativas generalizadas con propiedades particulares.
