Aproximació algebraica a la lògica default mitjançant l'estudi de les n-cadenes dels sistemes d'informació

• Autores: Carles Garcia Amengual
• Directores de la Tesis: Nadal Batle Nicolau (dir. tes.)
• Lectura: En la Universitat de les Illes Balears ( España ) en 1992
• Idioma: catalán
• Tribunal Calificador de la Tesis: Llorenç Valverde García (presid.), José Luis Maté Hernández (secret.), Josep Blat Gimeno (voc.), Josep Grané Manlleu (voc.), Juan Pazos Sierra (voc.)
• Materias:
  • Lógica
    • Aplicaciones de la lógica
  • Matemáticas
    • Álgebra
• Texto completo no disponible (Saber más ...)
• Resumen

  • Esta tesis doctoral presenta una aproximacion algebraica a la logica default, introducida a partir de los sistemas de informacion de dana scott, despues de estudiar, sobre algebras universales, las n-cadenas de los sistemas de informacion,para ello se amplian las propiedades y los teoremas de los sistemas y se estudia la informacion sacada de un conjunto cualquiera, de un conjunto deductivamente consistente y de un conjunto deductivamente cerrado. El estudio de las n-cadenas sobre el algebra universal asociada a un conjunto se hace mediante 12 aproximaciones hasta llegar al teorema de reiter.