|
\Large Gödel algebras \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Gödel_algebras}{edit} |
|
\Large G\"odel algebras \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Goedel_algebras}{edit} |
|
\abbreviation{GödA} |
|
\abbreviation{G\"odA} |
|
A Gödel algebra is a \href{Heyting_algebras.pdf}{Heyting algebras} $\mathbf{A}=\langle A,\vee,0,\wedge,1,\rightarrow\rangle$ such that |
|
A G\"odel algebra is a \href{Heyting_algebras.pdf}{Heyting algebras} $\mathbf{A}=\langle A,\vee,0,\wedge,1,\rightarrow\rangle$ such that |
|
Gödel algebras are also called linear Heyting algebras since subdirectly irreducible Gödel algebras are linearly ordered Heyting algebras. |
|
G\"odel algebras are also called linear Heyting algebras since subdirectly irreducible G\"odel algebras are linearly ordered Heyting algebras. |
|
A Gödel algebra is a \href{Representable_FLew-algebras.pdf}{representable FLew-algebras} $\mathbf{A}=\left\langle A,\vee ,0,\wedge ,1,\cdot ,\rightarrow \right\rangle $ such that |
|
A G\"odel algebra is a \href{Representable_FLew-algebras.pdf}{representable FLew-algebra} $\mathbf{A}=\langle A, \vee, 0, \wedge, 1, \cdot, \rightarrow\rangle$ such that |
|
Let $\mathbf{A}$ and $\mathbf{B}$ be Gödel algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a |
|
Let $\mathbf{A}$ and $\mathbf{B}$ be G\"odel algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a |
![[Home]](/structures.gif)