CONTRIBUCIO A L'ESTUDI DE CERTS TIPUS DE LOGIQUES ABSTRACTES.

Autor: VERDU SOLANS BUENAVENTURA
Año: 1977
Universidad: BARCELONA
Centro de realización: DEPARTAMENTO DE ESTADISTICA MATEMATICA. FACULTAD DE MATEMATICAS. BARCELONA.
Centro de lectura: MATEMATICAS
Director: SALES VALLES FRANCISCO DE ASIS
Tribunal: SALES VALLES FRANCISCO DE ASIS , CASCANTE DAVILA JOAQUIN , CUFI SOBREGRAU JULIAN , MARTIN RIOJA JOSE ANTONIO , GUTIERREZ JAIMEZ RAMON
Resumen de la tesis

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.
Materias relacionadas