Kód: 06887988
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 algebr ... celý popis
Nákupem získáte 153 bodů
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.
1533 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )