Geodesic
Annihilators and deductive systems in commutative Hilbert algebras
Commentationes Mathematicae Universitatis Carolinae, Tome 43 (2002) no. 3, pp. 407-417.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra $H$ considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice $\operatorname{Ded} H$ of all deductive systems on $H$ and every maximal deductive system is prime. Complements and relative complements of $\operatorname{Ded} H$ are characterized as the so called annihilators in $H$.
Classification : 03B22, 03G10, 03G25, 06A11
Keywords: (commutative) Hilbert algebra; deductive system (generated by a set); annihilator 
@article{CMUC_2002__43_3_a1,
     author = {Chajda, I. and Hala\v{s}, R. and Jun, Y. B.},
     title = {Annihilators and deductive systems in commutative {Hilbert} algebras},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {407--417},
     publisher = {mathdoc},
     volume = {43},
     number = {3},
     year = {2002},
     mrnumber = {1920517},
     zbl = {1070.03043},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2002__43_3_a1/}
}
TY  - JOUR
AU  - Chajda, I.
AU  - Halaš, R.
AU  - Jun, Y. B.
TI  - Annihilators and deductive systems in commutative Hilbert algebras
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2002
SP  - 407
EP  - 417
VL  - 43
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2002__43_3_a1/
LA  - en
ID  - CMUC_2002__43_3_a1
ER  - 
%0 Journal Article
%A Chajda, I.
%A Halaš, R.
%A Jun, Y. B.
%T Annihilators and deductive systems in commutative Hilbert algebras
%J Commentationes Mathematicae Universitatis Carolinae
%D 2002
%P 407-417
%V 43
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2002__43_3_a1/
%G en
%F CMUC_2002__43_3_a1
Chajda, I.; Halaš, R.; Jun, Y. B. Annihilators and deductive systems in commutative Hilbert algebras. Commentationes Mathematicae Universitatis Carolinae, Tome 43 (2002) no. 3, pp. 407-417. http://geodesic.mathdoc.fr/item/CMUC_2002__43_3_a1/