Mostrar el registro sencillo del ítem
dc.contributor.author
Celani, Sergio Arturo
dc.date.available
2024-08-16T14:04:41Z
dc.date.issued
2004-12
dc.identifier.citation
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
dc.identifier.issn
0231-9721
dc.identifier.uri
http://hdl.handle.net/11336/242664
dc.description.abstract
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].
dc.format
application/pdf
dc.language.iso
spa
dc.publisher
Univerzita Palackého v Olomouci
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
BCK-algebras
dc.subject
Deductive system
dc.subject
Irreducible deductive system
dc.subject.classification
Matemática Aplicada
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Deductive Systems of BCK-Algebras
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2024-08-14T13:33:01Z
dc.journal.volume
43
dc.journal.number
1
dc.journal.pagination
27-32
dc.journal.pais
República Checa
dc.journal.ciudad
Palacký
dc.description.fil
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
dc.journal.title
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.
Archivos asociados