Ir al contenido

Documat


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

Antoni Torrens Torrell Árbol académico

  • 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.


Fundación Dialnet

Mi Documat