Tesis doctoral de Garcia Lapresta José Luis
Se han estudiado logicas abstractas que cumplen el teorema de deduccion con restricciones en el cardinal del conjunto de premisas. El estudio de estas logicas, aqui llamadas «finitamente deductivas» se ha hecho en el marco de la teoria de logicas abstractas de brown y suszico. han sido caracterizadas mediante varias clases de algebras implicativas. Ademas, se han introducido varios calculos proposicionales estilo hilbert relacionados con las clases de algebras estudiadas. Para proporcionar ejemplos de calculos cuyas logicas proposicionales fueran finitamente deductivas ha sido necesario considerar calculos de secuentes.
Datos académicos de la tesis doctoral «Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.«
- Título de la tesis: Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.
- Autor: Garcia Lapresta José Luis
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Josep María Font Llovet
- Tribunal
- Presidente del tribunal: Josep Grane Manlleu
- Francesc Tomas Pons (vocal)
- Ramon Jansana Ferrer (vocal)
- Gonzalo Rodriguez Perez (vocal)