
Contribución al estudio de Álgebras de De Morgan modales 4-valuada
Cálculo proposicional de Monteiro 4-valuado
Versandkostenfrei!
Versandfertig in 6-10 Tagen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
En 1978, A. Monteiro introduce las álgebras tetravalentes modales como una generalización de las álgebras de Lukasiewicz trivalentes y conjetura la existencia de un cálculo proposicional del cual ellas sean su contrapartida algebraica. En este trabajo damos una respuesta positiva a dicha conjetura presentando el cálculo proposicional de Monteiro 4-valuado, denotado por M4. Además, mostramos que M4 pertenece a la clase de los cálculos proposicionales implicativos extensionales estándar definidos por H. Rasiowa (H. Rasiowa, An algebraic approach to non--classical logics, North-Holland Pu...
En 1978, A. Monteiro introduce las álgebras tetravalentes modales como una generalización de las álgebras de Lukasiewicz trivalentes y conjetura la existencia de un cálculo proposicional del cual ellas sean su contrapartida algebraica. En este trabajo damos una respuesta positiva a dicha conjetura presentando el cálculo proposicional de Monteiro 4-valuado, denotado por M4. Además, mostramos que M4 pertenece a la clase de los cálculos proposicionales implicativos extensionales estándar definidos por H. Rasiowa (H. Rasiowa, An algebraic approach to non--classical logics, North-Holland Publ. Comp., Amsterdam (1974)). Finalmente, introducimos la noción de retículo distributivo modal con implicación y probamos que estas álgebras son más convenientes que las tetravalentes modales para el estudio del cálculo M4 desde el punto de vista algebraico. Estos temas, que han sido desarrollados con minuciosidad, están orientados a aquellos alumnos de matemática interesado en el estudio de cálculos proposicionales y su conexión con las estructuras algebraicas.