Deductive systems of BCK-algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica (2004)
- Volume: 43, Issue: 1, page 27-32
- ISSN: 0231-9721
Access Full Article
top
Abstract
topHow to cite
topCelani, Sergio A.. "Deductive systems of BCK-algebras." Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 43.1 (2004): 27-32. <http://eudml.org/doc/32355>.
@article{Celani2004,
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^\{\ast \}$ 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].},
author = {Celani, Sergio A.},
journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
keywords = {BCK-algebras; deductive system; irreducible deductive system; Heyting algebras; annihilators; deductive systems; BCK-algebras; Heyting algebra; annihilator; pseudo-complement},
language = {eng},
number = {1},
pages = {27-32},
publisher = {Palacký University Olomouc},
title = {Deductive systems of BCK-algebras},
url = {http://eudml.org/doc/32355},
volume = {43},
year = {2004},
}
TY - JOUR
AU - Celani, Sergio A.
TI - Deductive systems of BCK-algebras
JO - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY - 2004
PB - Palacký University Olomouc
VL - 43
IS - 1
SP - 27
EP - 32
AB - 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^{\ast }$ 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].
LA - eng
KW - BCK-algebras; deductive system; irreducible deductive system; Heyting algebras; annihilators; deductive systems; BCK-algebras; Heyting algebra; annihilator; pseudo-complement
UR - http://eudml.org/doc/32355
ER -
References
top- Celani S., A note on Homomorphisms of Hilbert Algebras, International Journal of Mathematics and Mathematical Science 29, 1 (2002), 55–61. Zbl0993.03089MR1892332
- Chajda I., Halaš R., Zedník J., Filters and Annihilators in Implication Algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Math. 37 (1998), 41–45. (1998) Zbl0967.03059MR1690472
- Chajda I., Halaš R., Jun J. B., Annihilators and deductive systems in commutative Hilbert algebras, Comment. Math. Univ. Carolinae 43, 3 (2002) 407–417. Zbl1070.03043MR1920517
- Jun Y. B., Roh E. H., Meng J., Annihilators in BCI-algebras, Math. Japonica 43, 3 (1996), 559–562. (1996) Zbl0854.06028MR1391864
- Halaš R., Annihilators of BCK-algebras, Czech. Math. Journal 53, 128 (2003), 1001–1007. MR2018845
- Halaš R., Remarks on commutative Hilbert algebras, Math. Bohemica 127, 4 (2002), 525–529. Zbl1008.03039MR1942638
- Kondo M., Annihilators in BCK-algebras, Math. Japonica 49, 3 (1999), 407–410. (1999) Zbl0932.06014MR1697812
- Pałasiński M., Ideals in BCK-algebras which are lower semilattices, Math. Japonica 26, 2 (1981), 245–250. (1981) Zbl0464.03056MR0620466
- Pałasiński M., On ideal and congruence lattices of BCK-algebras, Math. Japonica 26, 5 (1981), 543–544. (1981) Zbl0476.03064MR0636589
- Wei S. M., Jun Y. B., Ideal lattices of BCI-algebras, Math. Japonica 44, 2 (1996), 303–305. (1996) Zbl0878.06011MR1416268
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.