Tesis doctoral de Miquel Rius Font
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.
Datos académicos de la tesis doctoral «Logiques modals tetravalents.«
- Título de la tesis: Logiques modals tetravalents.
- Autor: Miquel Rius Font
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1992
Dirección y tribunal
- Director de la tesis
- Josep María Font Llovet
- Tribunal
- Presidente del tribunal: Sales Valles Francesc A.
- Roberto Cignoli (vocal)
- Francesc Esteva Massaguer (vocal)
- Antonio Torrens Torrell (vocal)