aplicacion de la logica 1

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.