Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-
Conjugate gradient optimization algorithms depend on the search directions with different choices for the parameter in the search directions. In this note, cond
In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the rel