Hedges and successors in basic algebras (Q422448)

The author defines hedges and successors on basic algebras and proves some fundamental results about them. Let \((A, \oplus, \neg, 0)\) be a basic algebra. A map \(* : A \to A\) is called a hedge if it satisfies the conditions: (H1) \(1^* = 1\), (H2) \(x^* \leq x\), (H3) \((x\to y)^* \leq x^* \to y^*\), (H4) \(x^{**} = x^*\). The following theorem is proved: Theorem 3: For a basic algebra \(A\) with hedge \(*\), if we define \(H(a) =\{ z\in A^* \,|\, z\leq a\}\), then \(H(a)\) has a supremum and \(\sup H(a) = a^*\). Conversely, the following holds: Theorem 4: For a subset \(A_0 \subseteq A\) such that \(1\in A_0\) and the subset \(H(a) =\{ y\in A_0 \,|\, y\leq a\}\), which has a supremum for all \(a\in A\), if a condition (P) is satisfied, then the map \(x \mapsto \sup H(x)\) is a hedge on \(A\), where (P) is the condition \(\sup H(x\to y) \leq \sup H(x) \to \sup H(y)\). A map \(s:A \to A\) is called a successor if \(s(x)= \inf \{y\in A \,|\, y\to x \leq y\}\). The author also proves: Theorem 5: Let \(A\) be a basic algebra and \(s\) be a successor in \(A\), then (i) \(s(x) = \inf \{ y \,|\, x\leq y, y^x \leq y\}\) (ii) \(s(x) = \inf \{y\vee y^x \,|\, x\leq y\}\), where \(y^x = \neg y \oplus x\) for \(x,y\in A\).