Congruências principais equacionalmente definidas numa subvariedade das Álgebras semi-De Morgan

As álgebras semi-De Morgan foram definidas por H.P. Sankappanavar em 1987. Constituem uma variedade que contem a subvariedade K1,1 das álgebras de Ockham e a variedade dos reticulados distributivos pseudocomplementados. Em 1996, D. Hobby caracterizou a maior subvariedade das álgebras semi-De Morgan com a Propriedade de Extensão de Congruências (Variedade C). O tema deste seminário vai ser a caracterização, por meio de equações, das congruências principais da variedade C e a determinação das álgebras subdirectamente irredutíveis desta variedade.