LOGIQUES MODALS TETRAVALENTS.

Autor: RIUS FONT MIQUEL
Año: 1991
Universidad: BARCELONA
Centro de realización: DEPARTAMENTO: LOGICA HISTORIA I FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA MATEMATICA
Centro de lectura: MATEMATICAS
Director: FONT LLOVET JOSEP M.
Tribunal: SALES VALLES FRANCESC A. , ESTEVA MASSAGUER FRANCESC , CIGNOLI ROBERTO , TORRENS TORRELL ANTONIA , VERDU SOLANS VENTURA
Resumen de la tesis

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