De Morgan algebras: new perspectives and applications
 
 
Description:  It is well known that Boolean algebras can be defined using only the implication and the constant 0. It is, then, natural to ask whether De Morgan algebras can also be characterized using only a binary operation (implication) -> and a constant 0.

In this lecture, I give an affirmative answer to this question by showing that the variety of De Morgan algebras is term-equivalent to a (2-based) variety of type {->, 0}. As a natural consequence, Kleene algebras can also be described as a variety using only -> and 0. If time permits, I will introduce a new variety of algebras, called "Implication Groupoids", and mention some open problems.

This lecture is based on the following paper:

H.P. Sankappanavar, De Morgan Algebras: New Perspectives and Applications, Scientiae Mathematicae Japonicae (22 pages). To appear soon.

Date:  2012-04-18
Start Time:   15:00
Speaker:  H.P. Sankappanavar (State University of New York/CAUL)
Institution:  State University of New York/CAUL
Place:  Sala 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support