UN ESTUDIO ALGEBRAICO DE LOS CALCULOS PROPOSICIONALES DE LUKASIEWICZ.

Autor: RODRIGUEZ SALAS ANTONIO JESUS
Año: 1980
Universidad: BARCELONA
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD CENTRAL DE BARCELONA
Centro de lectura: MATEMATICAS
Director: PLA CARRERA JOSE
Tribunal: SALES VALLES FRANCISCO DE A. , CASCANTE DAVILA JOAQUIN M. , MALLOL BALMAÑA RAFAEL , BOBILLO GUERRERO PABLO , BATLE NICOLAU NADAL
Resumen de la tesis

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