Use este identificador para citar ou linkar para este item: https://repositorio.ufba.br/handle/ri/13064
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorSankappanavar, H. P.-
dc.creatorSankappanavar, H. P.-
dc.date.accessioned2013-09-26T18:12:41Z-
dc.date.available2013-09-26T18:12:41Z-
dc.date.issued1980-
dc.identifier.urihttp://www.repositorio.ufba.br/ri/handle/ri/13064-
dc.descriptionp. 341–349pt_BR
dc.description.abstractIn this paper a characterization of principal congruences of De Morgan algebras is given and from it we derive that the variety of De Morgan algebras has DPC and CEP. The characterization is then applied to give a new proof of Kalman's characterization of subdirectly irreducibles in this variety and thus to obtain the representation theorem for DeMorgan algebras first proved by Kalman and independently, using topological methods, by Bialynicki-Birula and Rasiowa. From this representation it is deduced that finite De Morgan algebras are not the only ones with Boolean congruence lattices. Finally it is shown that the compact elements in the congruence lattice of a De Morgan algebra form a Boolean sublattice.pt_BR
dc.language.isoenpt_BR
dc.publisherStudies in Logic and the Foundations of Mathematicspt_BR
dc.sourcehttp://www-sciencedirect-com.ez10.periodicos.capes.gov.br/science/article/pii/S0049237X09704938pt_BR
dc.titleA Characterization of Principal Congruences of De Morgan Algebras and its Applicationspt_BR
dc.title.alternativeStudies in Logic and the Foundations of Mathematicspt_BR
dc.typeArtigo de Periódicopt_BR
dc.description.localpubSalvadorpt_BR
dc.identifier.numberv. 99pt_BR
Aparece nas coleções:Artigo Publicado em Periódico (IME)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
4444444444444.pdf414,03 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.