Artículo
Deductive Systems of BCK-Algebras
Fecha de publicación:
12/2004
Editorial:
Univerzita Palackého v Olomouci
Revista:
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.
ISSN:
0231-9721
Idioma:
Español
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
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].
Palabras clave:
BCK-algebras
,
Deductive system
,
Irreducible deductive system
Archivos asociados
Tamaño:
1.216Mb
Formato:
PDF
Licencia
Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción:
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
Colecciones
Articulos(CCT - TANDIL)
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Citación
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
Compartir
