En 1978, A. Monteiro introduce las algebras tetravalentes modales como una generalizacion de las algebras de Lukasiewicz trivalentes y conjetura la existencia de un calculo proposicional del cual ellas sean su contrapartida algebraica. En este trabajo damos una respuesta positiva a dicha conjetura presentando el calculo proposicional de Monteiro 4-valuado, denotado por M4. Ademas, mostramos que M4 pertenece a la clase de los calculos proposicionales implicativos extensionales estandar definidos por H. Rasiowa (H. Rasiowa, An algebraic approach to non--classical logics, North-Holland Publ. Comp., Amsterdam (1974)). Finalmente, introducimos la nocion de reticulo distributivo modal con implicacion y probamos que estas algebras son mas convenientes que las tetravalentes modales para el estudio del calculo M4 desde el punto de vista algebraico. Estos temas, que han sido desarrollados con minuciosidad, estan orientados a aquellos alumnos de matematica interesado en el estudio de calculos proposicionales y su conexion con las estructuras algebraicas."
Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada - PDF eBooks Online Free Download
libro gratis Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada
Descargar Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada En Pdf
Libros Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada PDF Descargar Gratis
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.