# 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 |

Trace: