Filters and structure of lattice implication algebra

IN order to research the logical system whose propositional value is given in a lattice from the