Estudi i algebraització de certes lògiques: àlgebres d-completes

• Autores: Antoni Torrens Torrell
• Directores de la Tesis: Francesc d'Assís Sales Vallès (dir. tes.)
• Lectura: En la Universitat de Barcelona ( España ) en 1980
• Idioma: catalán
• Tribunal Calificador de la Tesis: Francesc d'Assís Sales Vallès (presid.), Josep Grané Manlleu (secret.), Joaquín María Cascante Dávila (voc.), Rafael Mallol Balmaña (voc.), Nadal Batle Nicolau (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica matemática
• Enlaces
  • Tesis en acceso abierto en: TDX
• Resumen

  • SE OBTIENEN Y ESTUDIAN LAS ALGEBRAS D-COMPLETAS COMO LAS ALGEBRAS IMPLICATIVAS ASOCIADAS A CIERTOS CALCULOS PROPOSICIONALES IMPLICATIVOS, QUE SATISFACEN UN TEOREMA DE LA DEDUCCION DEBIL Y CONTIENEN A LOS CALCULOS PROPOSICIONALES MULTIVALORADOS DADOS POR LUKASIEWICZ.

    TAMBIEN SE ESTUDIAN LOS SISTEMAS DEDUCTIVOS DE ESTAS ALGEBRAS.