APROXIMACIO ALGEBRAICA A LA LOGICA DEFAULT MITJANCANT L'ESTUDI DE LES N-CADENES DELS SISTEMES D'INFORMACIO.

Autor: GARCIA AMENGUAL CARLES
Año: 1991
Universidad: ISLAS BALEARES
Centro de realización: DEPARTAMENT DE MATEMATIQUES I INFORMATICA DE LA UNIVERSIDAD DE LAS ISLAS BALEARES.
Centro de lectura: INFORMATICA
Director:
Tribunal: VALVERDE GARCIA LLORENC , BLAT I GIMENO JOSEP , GRANE MANLLEU JOSEP , PAZOS SIERRA JUAN , MATE HERNANDEZ JOSE LUIS
Resumen de la tesis

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.
Materias relacionadas