A note on deductive systems of a Hilbert algebra
Dumitru Buşneag · Institutional Repositories DataBase (IRDB) · 1985
For a Hilbert algebra A, we denote by Ds (A) the lattice of all deductive systems of A and by Spec (A) the set of completely irreducible deductive systems of A (see sections 2 and 3).The paper is organized as follows.In section 1 we recall the basic definitions; also, we put in evidence results which we need in section 2 (especially lemma 1.5.and corollary 1.6.).Section 2 contains the main result of this paper: