Ir al contenido

Documat


Resumen de Contribucio a l'estudi de certs tipus de logiques abstractes

Buenaventura Verdú i Solans Árbol académico

  • 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.


Fundación Dialnet

Mi Documat