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."
[PDF y ePub] Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada Descargar (libros) en pdf
Descargar Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada PDF and EPUB
libro Contribucion Al Estudio de Algebras de de Morgan Modales 4-Valuada gratis
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.