ESTUDI ALGEBRAIC DE CERTES LOGIQUES INTUICIONISTES MODALS.

SE ESTUDIAN TRES SISTEMAS DE LOGICA MODAL INTUICIONISTA Y SUS MODELOS ALGEBRAICOS CON LAS TECNICAS DE H. RASIOWA Y A. MONTEIRO Y SUS ESCUELAS. IM4 ES EL SISTEMA ANALOGO INTUICIONISTA DE S4 Y LE CORRESPONDEN LAS ALGEBRAS DE HEYTING (PSEUDO-BOOLEANAS) TOPOLOGICAS. ADEMAS DE CUESTIONES GENERALES SE ESTUDIAN LOS SISTEMAS DEDUCTIVOS Y LA LOGICA ABSTRACTA A QUE ESTOS DAN LUGAR QUE ES DE TIPO INTUICIONISTA. SE CARACTERIZAN DIVERSOS TIPOS DE SISTEMAS DEDUCTIVOS OTROS CONCEPTOS ALGEBRAICOS ASOCIADOS Y ESE MISMO CONCEPTO EN TERMINOS DE TRES NUEVAS OPERACIONES DE IMPLICACION; UNA DE ELLAS P=Q = L(P Q) PERMITE DAR FORMALIZACIONES ALGEBRAICAS Y LOGICAS PRESCINDIENDO TOTALMENTE DEL OPERADOR DE NECESIDAD. LOS SISTEMAS IM5 Y IMC SON ANALOGOS A S5 SIENDO IMC INTUICIONISTICAMENTE NO PLAUSIBLE SE ESTUDIA N SUS MODELOS LAS ALGEBRAS MONADICAS Y SEMISIMPLES DIVERSAS PROPIEDADES ALGEBRAICAS Y ESPECIALMENTE SUS POSIBLES DEFINICIONES BIEN ALGEBRAICAS BIEN USANDO CONDICIONES CLASICAS SOBRE UN OPERADOR DE CLAUSURA (POSIBILIDAD) DERIVADO DEL INTERIOR (NECESIDAD). SE DESARROLLAN CON DETALLE NUMEROSOS EJEMPLOS Y CONTRAEJEMPLOS.