Differences

This shows you the differences between two versions of the page.

flew-algebras [2010/07/29 15:46]
127.0.0.1 external edit
flew-algebras [2010/09/03 22:15] (current)
jipsen
Line 1: Line 1:
-=====FL$_{ew=====$-algebras}+=====FLew-algebras=====
-Abbreviation: **FL$_{ew**$}+Abbreviation: **FL**$_{ew}$
====Definition==== ====Definition====
-A \emph{FL$_{ew}$-algebra} is a [[FL$_e$-algebra]] $\mathbf{A}=\langle A, \vee, \wedge, \cdot, 1, \backslash, /, 0\rangle$ that is+A \emph{FL}$_{ew}$\emph{-algebra} is a [[FLe-algebra]] $\mathbf{A}=\langle A, \vee, \wedge, \cdot, 1, \backslash, /, 0\rangle$ that is
\emph{integral} (i.e. satisfies the weakening rules): $0\le x\le 1$ \emph{integral} (i.e. satisfies the weakening rules): $0\le x\le 1$