Resumen de Lògiques modals tetravalents
EL OBJETIVO DE LA MEMORIA ES DEFINIR Y ESTUDIAR UNA CLASE DE LOGICAS ABSTRACTAS (LAS LOGICAS MODALES TETRAVALENTES (LMT)) RELACIONADAS CON LAS ALGEBRAS MODALES TETRAVALENTES (AMTS) ESTUDIAMOS LAS AMTS DESDE UNA PERSPECTIVA LOGICA E INTRODUCIMOS LAS LMTS COMO LA GENERALIZACION A ALGEBRAS DE TIPO ADECUADO DE LA LOGICA DE TODOS LOS FILTROS SOBRE UNA AMT, ESTUDIAMOS CON TECNICAS DE LA MODERNA LOGICA ALGEBRAICA LAS PROPIEDADES DE LAS LMTS. Y DAMOS UNA PRESENTACION SEMANTICA DE LAS MISMAS. SOBRE EL ALGEBRA SENTENCIAL DEFINIMOS UN SISTEMA DEDUCTIVO, EN EL SENTIDO DE BLOK Y PIGOZZI, RELACIONADO CON LAS LMTS. SISTEMA DEL QUAL ESTUDIAMOS LAS MATRICES.
LAS MATRICES GENERALIZADAS Y LOS MODELOS. ACABAMOS DEMOSTRANDO QUE LAS LMTS NO SON ALGEBRIZABLES, Y QUE POR TANTO SU ESTUDIO NO ENTRA EN EL AMBITO DE LA TEORIA GENERAL DE LOGICAS ALGEBRIZABLES DE BLOK Y PIGOZZI.
