Un Estudio algebraico de los cálculos proposicionales de Lukasiewicz

Autores: Antonio Jesús Rodríguez Salas
Directores de la Tesis: Josep Pla i Carrera (dir. tes.)
Lectura: En la Universitat de Barcelona ( España ) en 1980
Idioma: español
Tribunal Calificador de la Tesis: Francesc d'Assís Sales Vallès (presid.) , Nadal Batle Nicolau (secret.) , Joaquín María Cascante Dávila (voc.) , Rafael Mallol Balmaña (voc.) , Pablo Bobillo Guerrero (voc.)
Texto completo no disponible (Saber más ...)
Resumen
- TRAS UNA BREVE PRESENTACION DE LAS ALGEBRAS DE SALES ASOCIADAS A LA PARTE IMPLICATIVA DEL CALCULO PROPOSICIONAL INFINITO VALENTE DE LUKASIEWICZ SE ESTUDIAN LAS PROPIEDADES LOGICO-ALGEBRAICAS MAS IMPORTANTES DE LAS ALGEBRAS DE WAJSBERG PONIENDO ESPECIAL INTERES EN EL ESTUDIO DE LA SEMISIMPLICIDAD ARQUIMEDIANIDAD Y N+1- ACOTACION, CON RESPECTO A LOS CALCULOS N+1- VALENTES SE DEMUESTRA LA FINITUD DE LAS ALGEBRAS FINITAMENTE GENERADAS Y SE CALCULA SU CARDINAL PARA EL CASO DE LAS LIBRES.