Hedges and successors in basic algebras (Q422448): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Michiro Kondo / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6035760 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
basic algebra | |||
Property / zbMATH Keywords: basic algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heyting algebra | |||
Property / zbMATH Keywords: Heyting algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hedge | |||
Property / zbMATH Keywords: hedge / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
successor | |||
Property / zbMATH Keywords: successor / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00500-010-0570-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2013016676 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5389213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Are basic algebras residuated structures? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to intuitionistic connectives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5696168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5293965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-valued quantum algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:06, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hedges and successors in basic algebras |
scientific article |
Statements
Hedges and successors in basic algebras (English)
0 references
16 May 2012
0 references
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\).
0 references
basic algebra
0 references
Heyting algebra
0 references
hedge
0 references
successor
0 references