Contribucio a l'estudi de certs tipus de logiques abstractes
- Verdú Solans, Buenaventura
- Francesc d'Assís Sales Vallès Director/a
Universidad de defensa: Universitat de Barcelona
Año de defensa: 1978
- Francesc d'Assís Sales Vallès Presidente/a
- Ramón Gutiérrez Jáimez Secretario
- Joaquín María Cascante Dávila Vocal
- Julià Cufí Sobregrau Vocal
- José Andrés Martín Rioja Vocal
Tipo: Tesis
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.