“…In what follows we will write
for the intuitionistic language
. In [
5] it was also shown that
is an implicative logic in the sense of [
11] and that in consequence this logic is complete with respect to the class
, where we included the greatest element 1 in the signature of the algebras. Furthermore, for every algebra in
we have that
is the bottom and the identity
is satisfied.…”