Contribución al estudio de Álgebras de De Morgan modales 4-valuada Cálculo proposicional de Monteiro 4-valuado
-
- Spanisch ausgewählt
Fr. 64.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
28.04.2013
Verlag
Editorial Académica EspañolaSeitenzahl
88
Maße (L/B/H)
22/15/0.6 cm
Gewicht
149 g
Sprache
Spanisch
ISBN
978-3-659-07048-8
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.