Deductive Systems of BCK-Algebras
Otros responsables
Fecha
12/2004
Editorial
Univerzita Palackého v Olomouci
Revista
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica.
Título del libro
Nombre del evento
Fecha del evento
Institución organizadora
ISSN
0231-9721
eISSN
ISBN
Idioma
Español
Tipo del evento
Clasificación temática
Palabras clave
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].
Colecciones
Aprobación
Revisión
Complementado por
Referenciado por
Licencia Creative Commons
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Identificadores