Lógicas finitamente deductivasrestricciones de cardinalidad en la propiedad de la deducción

  1. García Lapresta, José Luis
Zuzendaria:
  1. Josep Maria Font Llobet Zuzendaria

Defentsa unibertsitatea: Universitat de Barcelona

Defentsa urtea: 1991

Epaimahaia:
  1. Josep Grané Manlleu Presidentea
  2. Buenaventura Verdú Solans Idazkaria
  3. Ramón Jansana Ferrer Kidea
  4. Francesc Tomas Pons Kidea
  5. Gonzalo Rodríguez Pérez Kidea

Mota: Tesia

Teseo: 28683 DIALNET

Laburpena

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.