Deductive Systems of BCK-Algebras

Autores
Celani, Sergio Arturo
Año de publicación
2004
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F∗ of a deductive system F is the the pseudocomplement of F. These results are more general than that the similar results given by M. Kondo in [7].
Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires; Argentina
Materia
BCK-algebras
Deductive system
Irreducible deductive system
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/242664
Acceder
id CONICETDig_69f8ddd835a785072c3e9bc97c75825f
oai_identifier_str oai:ri.conicet.gov.ar:11336/242664
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Deductive Systems of BCK-AlgebrasCelani, Sergio ArturoBCK-algebrasDeductive systemIrreducible deductive systemhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F∗ of a deductive system F is the the pseudocomplement of F. These results are more general than that the similar results given by M. Kondo in [7].Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires; ArgentinaUniverzita Palackého v Olomouci2004-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/242664Celani, Sergio Arturo; Deductive Systems of BCK-Algebras; Univerzita Palackého v Olomouci; Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.; 43; 1; 12-2004; 27-320231-9721CONICET DigitalCONICETspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-10T13:04:20Zoai:ri.conicet.gov.ar:11336/242664instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-10 13:04:20.463CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Deductive Systems of BCK-Algebras
title Deductive Systems of BCK-Algebras
spellingShingle Deductive Systems of BCK-Algebras
Celani, Sergio Arturo
BCK-algebras
Deductive system
Irreducible deductive system
title_short Deductive Systems of BCK-Algebras
title_full Deductive Systems of BCK-Algebras
title_fullStr Deductive Systems of BCK-Algebras
title_full_unstemmed Deductive Systems of BCK-Algebras
title_sort Deductive Systems of BCK-Algebras
dc.creator.none.fl_str_mv Celani, Sergio Arturo
author Celani, Sergio Arturo
author_facet Celani, Sergio Arturo
author_role author
dc.subject.none.fl_str_mv BCK-algebras
Deductive system
Irreducible deductive system
topic BCK-algebras
Deductive system
Irreducible deductive system
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F∗ of a deductive system F is the the pseudocomplement of F. These results are more general than that the similar results given by M. Kondo in [7].
Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires; Argentina
description In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F∗ of a deductive system F is the the pseudocomplement of F. These results are more general than that the similar results given by M. Kondo in [7].
publishDate 2004
dc.date.none.fl_str_mv 2004-12
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/242664
Celani, Sergio Arturo; Deductive Systems of BCK-Algebras; Univerzita Palackého v Olomouci; Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.; 43; 1; 12-2004; 27-32
0231-9721
CONICET Digital
CONICET
url http://hdl.handle.net/11336/242664
identifier_str_mv Celani, Sergio Arturo; Deductive Systems of BCK-Algebras; Univerzita Palackého v Olomouci; Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.; 43; 1; 12-2004; 27-32
0231-9721
CONICET Digital
CONICET
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Univerzita Palackého v Olomouci
publisher.none.fl_str_mv Univerzita Palackého v Olomouci
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842980140980633600
score 12.993085

Publicaciones similares