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$