Lògiques modals tetravalents
- Autores: Miquel Rius Font
- Directores de la Tesis: Josep Maria Font i Llobet (dir. tes.)
- Lectura: En la Universitat de Barcelona ( España ) en 1992
- Idioma: español
- Tribunal Calificador de la Tesis: Francesc d'Assís Sales Vallès (presid.), Buenaventura Verdú i Solans (secret.), Francesc Esteva i Massaguer (voc.), Roberto Cignoli (voc.), Antoni Torrens Torrell (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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.
