32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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.…mehr

Produktbeschreibung
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.
Autorenporträt
Magíster, Licenciada y Profesora de Matemática, títulos obtenidos en la Universidad Nacional del Sur (UNS), Bahía Blanca, Argentina. Profesora Adjunta Ordinaria en el Dpto. de Matemática de la UNS. Participa en Proyectos de Investigación en temas de Lógica Matemática y Estructuras Algebraicas Ordenada desde el año 1995 a la fecha.