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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados