-
Španielsky jazyk
Álgebras de Hilbert acotadas con operaciones adicionales
Autor: María Cristina Canals Frau
El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n-valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional... Viac o knihe
Na objednávku
36.99 €
bežná cena: 41.10 €
O knihe
El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n-valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista.
- Vydavateľstvo: Editorial Académica Española
- Rok vydania: 2019
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Španielsky jazyk
- ISBN: 9786200012463
Anglický jazyk 
