CONTRIBUCIO A L'ESTUDI DE CERTS TIPUS DE LOGIQUES ABSTRACTES. Autor: VERDU SOLANS BUENAVENTURA.
Año: 1977.
Universidad: BARCELONA.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO DE ESTADISTICA MATEMATICA. FACULTAD DE MATEMATICAS. BARCELONA..
Resumen: LA PARTE PRINCIPAL DE ESTE TRABAJO ES LA DEDICADA A CARACTERIZAR CIERTAS LOGICAS DE GRAN INTERES
DENTRO DEL CAMPO DE LA LOGICA MATEMATICA COMO LA DE LA CONJUNCION Y LA DISYUNCION LA FINITARIA DE HILBERT LA FINITARIA DE HEYTING LA FINITARIA DE BOOLE LA INFINITARIA DE BOOLE Y LA DE ESPACIO PROBABILIZABLE (ESTA ULTIMA DE INTERES PARA LA TEORIA DE
PROBABILIDAD) EN TERMINOS DE LOGICAS ABSTRACTAS Y DE MORFISMOS BILOGICOS. PARA ELLO SE ESTABLECEN LOS NEXOS ADECUADOS ENTRE LA CATEGORIA DE LOGICAS ABSTRACTAS Y LA CATEGORIA DE CONJUNTOS ORDENADOS A TRAVES DE LA RELACION DE EQUIVALENCIA USUAL
INDUCIDA POR UNA LOGICA.