Semi-Heyting Algebras and their Expansions (Talk 1)
06/03/2012 Terça-feira, 6 de Março de 2012, 16h30m, Sala 6.2.38, FCUL
H.P. Sankappanavar (State University of New York, USA)
Faculdade de Ciências da Universidade de Lisboa
In Semi-Heyting algebas are a natural generalization of Heyting algebras and extend some of the most interesting properties of Heyting algebras, such as distributivity, being pseudocomplemented, etc. Their expansions by a suitable unary operation, along with Semi-De Morgan algebras, led me to resolve a conjecture of mine made in 1987.
In these talks I will survey these developments and some recent work by Professor M. Abad and his group in Bahia Blanca.
|