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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados