Ir al contenido

Documat


Un Estudio algebraico de los cálculos proposicionales de Lukasiewicz

  • Autores: Antonio Jesús Rodríguez Salas Árbol académico
  • Directores de la Tesis: Josep Pla i Carrera (dir. tes.) Árbol académico
  • 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.) Árbol académico, Nadal Batle Nicolau (secret.) Árbol académico, Joaquín María Cascante Dávila (voc.) Árbol académico, Rafael Mallol Balmaña (voc.) Árbol académico, Pablo Bobillo Guerrero (voc.) Árbol académico
  • 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.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno