A Characterization of Principal Congruences of De Morgan Algebras and its Applications

Detalhes bibliográficos
Autor(a) principal: Sankappanavar, H. P.
Data de Publicação: 1980
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFBA
Texto Completo: http://www.repositorio.ufba.br/ri/handle/ri/13064
Resumo: p. 341–349
id UFBA-2_952f83e660fa64cbb0120d8c07e8e7ae
oai_identifier_str oai:repositorio.ufba.br:ri/13064
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling Sankappanavar, H. P.Sankappanavar, H. P.2013-09-26T18:12:41Z2013-09-26T18:12:41Z1980http://www.repositorio.ufba.br/ri/handle/ri/13064v. 99p. 341–349In 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.Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-09-26T18:12:41Z No. of bitstreams: 1 4444444444444.pdf: 423965 bytes, checksum: 9626c14b3b1dbaa4a253cf5595578e85 (MD5)Made available in DSpace on 2013-09-26T18:12:41Z (GMT). No. of bitstreams: 1 4444444444444.pdf: 423965 bytes, checksum: 9626c14b3b1dbaa4a253cf5595578e85 (MD5) Previous issue date: 1980SalvadorStudies in Logic and the Foundations of Mathematicshttp://www-sciencedirect-com.ez10.periodicos.capes.gov.br/science/article/pii/S0049237X09704938reponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAA Characterization of Principal Congruences of De Morgan Algebras and its ApplicationsStudies in Logic and the Foundations of Mathematicsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleenginfo:eu-repo/semantics/openAccessORIGINAL4444444444444.pdf4444444444444.pdfapplication/pdf423965https://repositorio.ufba.br/bitstream/ri/13064/1/4444444444444.pdf9626c14b3b1dbaa4a253cf5595578e85MD51LICENSElicense.txtlicense.txttext/plain1365https://repositorio.ufba.br/bitstream/ri/13064/2/license.txt5371a150bdc863f78dcf39281543bd86MD52TEXT4444444444444.pdf.txt4444444444444.pdf.txtExtracted texttext/plain18732https://repositorio.ufba.br/bitstream/ri/13064/3/4444444444444.pdf.txtc9a65697e5cd251d32f7fc6f5153f94cMD53ri/130642022-07-05 14:02:57.851oai:repositorio.ufba.br:ri/13064VGVybW8gZGUgTGljZW7vv71hLCBu77+9byBleGNsdXNpdm8sIHBhcmEgbyBkZXDvv71zaXRvIG5vIFJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVRkJBLg0KDQogUGVsbyBwcm9jZXNzbyBkZSBzdWJtaXNz77+9byBkZSBkb2N1bWVudG9zLCBvIGF1dG9yIG91IHNldSByZXByZXNlbnRhbnRlIGxlZ2FsLCBhbyBhY2VpdGFyIA0KZXNzZSB0ZXJtbyBkZSBsaWNlbu+/vWEsIGNvbmNlZGUgYW8gUmVwb3NpdO+/vXJpbyBJbnN0aXR1Y2lvbmFsIGRhIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRhIEJhaGlhIA0KbyBkaXJlaXRvIGRlIG1hbnRlciB1bWEgY++/vXBpYSBlbSBzZXUgcmVwb3NpdO+/vXJpbyBjb20gYSBmaW5hbGlkYWRlLCBwcmltZWlyYSwgZGUgcHJlc2VydmHvv73vv71vLiANCkVzc2VzIHRlcm1vcywgbu+/vW8gZXhjbHVzaXZvcywgbWFudO+/vW0gb3MgZGlyZWl0b3MgZGUgYXV0b3IvY29weXJpZ2h0LCBtYXMgZW50ZW5kZSBvIGRvY3VtZW50byANCmNvbW8gcGFydGUgZG8gYWNlcnZvIGludGVsZWN0dWFsIGRlc3NhIFVuaXZlcnNpZGFkZS4NCg0KIFBhcmEgb3MgZG9jdW1lbnRvcyBwdWJsaWNhZG9zIGNvbSByZXBhc3NlIGRlIGRpcmVpdG9zIGRlIGRpc3RyaWJ1ae+/ve+/vW8sIGVzc2UgdGVybW8gZGUgbGljZW7vv71hIA0KZW50ZW5kZSBxdWU6DQoNCiBNYW50ZW5kbyBvcyBkaXJlaXRvcyBhdXRvcmFpcywgcmVwYXNzYWRvcyBhIHRlcmNlaXJvcywgZW0gY2FzbyBkZSBwdWJsaWNh77+977+9ZXMsIG8gcmVwb3NpdO+/vXJpbw0KcG9kZSByZXN0cmluZ2lyIG8gYWNlc3NvIGFvIHRleHRvIGludGVncmFsLCBtYXMgbGliZXJhIGFzIGluZm9ybWHvv73vv71lcyBzb2JyZSBvIGRvY3VtZW50bw0KKE1ldGFkYWRvcyBlc2NyaXRpdm9zKS4NCg0KIERlc3RhIGZvcm1hLCBhdGVuZGVuZG8gYW9zIGFuc2Vpb3MgZGVzc2EgdW5pdmVyc2lkYWRlIGVtIG1hbnRlciBzdWEgcHJvZHXvv73vv71vIGNpZW5077+9ZmljYSBjb20gDQphcyByZXN0cmnvv73vv71lcyBpbXBvc3RhcyBwZWxvcyBlZGl0b3JlcyBkZSBwZXJp77+9ZGljb3MuDQoNCiBQYXJhIGFzIHB1YmxpY2Hvv73vv71lcyBzZW0gaW5pY2lhdGl2YXMgcXVlIHNlZ3VlbSBhIHBvbO+/vXRpY2EgZGUgQWNlc3NvIEFiZXJ0bywgb3MgZGVw77+9c2l0b3MgDQpjb21wdWxz77+9cmlvcyBuZXNzZSByZXBvc2l077+9cmlvIG1hbnTvv71tIG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBtYXMgbWFudO+/vW0gYWNlc3NvIGlycmVzdHJpdG8gDQphbyBtZXRhZGFkb3MgZSB0ZXh0byBjb21wbGV0by4gQXNzaW0sIGEgYWNlaXRh77+977+9byBkZXNzZSB0ZXJtbyBu77+9byBuZWNlc3NpdGEgZGUgY29uc2VudGltZW50bw0KIHBvciBwYXJ0ZSBkZSBhdXRvcmVzL2RldGVudG9yZXMgZG9zIGRpcmVpdG9zLCBwb3IgZXN0YXJlbSBlbSBpbmljaWF0aXZhcyBkZSBhY2Vzc28gYWJlcnRvLg==Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:02:57Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv A Characterization of Principal Congruences of De Morgan Algebras and its Applications
dc.title.alternative.pt_BR.fl_str_mv Studies in Logic and the Foundations of Mathematics
title A Characterization of Principal Congruences of De Morgan Algebras and its Applications
spellingShingle A Characterization of Principal Congruences of De Morgan Algebras and its Applications
Sankappanavar, H. P.
title_short A Characterization of Principal Congruences of De Morgan Algebras and its Applications
title_full A Characterization of Principal Congruences of De Morgan Algebras and its Applications
title_fullStr A Characterization of Principal Congruences of De Morgan Algebras and its Applications
title_full_unstemmed A Characterization of Principal Congruences of De Morgan Algebras and its Applications
title_sort A Characterization of Principal Congruences of De Morgan Algebras and its Applications
author Sankappanavar, H. P.
author_facet Sankappanavar, H. P.
author_role author
dc.contributor.author.fl_str_mv Sankappanavar, H. P.
Sankappanavar, H. P.
description p. 341–349
publishDate 1980
dc.date.issued.fl_str_mv 1980
dc.date.accessioned.fl_str_mv 2013-09-26T18:12:41Z
dc.date.available.fl_str_mv 2013-09-26T18:12:41Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.repositorio.ufba.br/ri/handle/ri/13064
dc.identifier.number.pt_BR.fl_str_mv v. 99
url http://www.repositorio.ufba.br/ri/handle/ri/13064
identifier_str_mv v. 99
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Studies in Logic and the Foundations of Mathematics
publisher.none.fl_str_mv Studies in Logic and the Foundations of Mathematics
dc.source.pt_BR.fl_str_mv http://www-sciencedirect-com.ez10.periodicos.capes.gov.br/science/article/pii/S0049237X09704938
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/13064/1/4444444444444.pdf
https://repositorio.ufba.br/bitstream/ri/13064/2/license.txt
https://repositorio.ufba.br/bitstream/ri/13064/3/4444444444444.pdf.txt
bitstream.checksum.fl_str_mv 9626c14b3b1dbaa4a253cf5595578e85
5371a150bdc863f78dcf39281543bd86
c9a65697e5cd251d32f7fc6f5153f94c
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1801502519133732864

Registros relacionados