# Differences

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

monoidal_t-norm_logic_algebras [2010/07/29 15:46] 127.0.0.1 external edit |
monoidal_t-norm_logic_algebras [2010/09/04 13:43] (current) jipsen |
||
---|---|---|---|

Line 4: | Line 4: | ||

====Definition==== | ====Definition==== | ||

- | A \emph{monoidal t-norm logic algebra} is a [[FL$_{ew]]$-algebra} $\mathbf{A}=\langle A, \vee, \wedge, \cdot, 1, \to, 0\rangle$ such that | + | A \emph{monoidal t-norm logic algebra} is a [[FLew-algebra]] $\mathbf{A}=\langle A, \vee, \wedge, \cdot, 1, \to, 0\rangle$ such that |

$\cdot$ is \emph{prelinear}: $(x\to y)\vee (y\to x)=1$ | $\cdot$ is \emph{prelinear}: $(x\to y)\vee (y\to x)=1$ |

Trace: