Differences

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

fl-algebras [2010/07/29 15:46]
127.0.0.1 external edit
fl-algebras [2012/07/18 23:27] (current)
jipsen
Line 25: Line 25:
====Properties==== ====Properties====
^[[Classtype]]  |variety | ^[[Classtype]]  |variety |
-Equational theory & decidable [(OK1985)] +^[[Equational theory]]  |decidable [(OK1985)] |
-\\\hline+
^[[Quasiequational theory]]  |undecidable | ^[[Quasiequational theory]]  |undecidable |
^[[First-order theory]]  |undecidable | ^[[First-order theory]]  |undecidable |
Line 54: Line 53:
\end{array}$ \end{array}$
-\hyperbaseurl{http://math.chapman.edu/structures/files/}+
====Subclasses==== ====Subclasses====
[[Bounded residuated lattices]] subvariety [[Bounded residuated lattices]] subvariety