Read more
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.
About the author
María Cristina Canals Frau es Profesora, Licenciada y Doctora en Matemática. Investiga en álgebras de la lógica y en estructuras algebraicas ordenadas. Fue profesora titular del Departamento de Matemática de la Universidad Nacional de San Juan (UNSJ) y directora del Instituto de Ciencias Básicas de la UNSJ.
