Table of Contents
Fetching ...

Residuated lattices do not have the amalgamation property

Peter Jipsen, Simon Santschi

Abstract

We show that the variety of residuated lattices does not have the amalgamation property.

Residuated lattices do not have the amalgamation property

Abstract

We show that the variety of residuated lattices does not have the amalgamation property.

Paper Structure

This paper contains 1 theorem, 4 equations, 1 figure.

Key Result

Theorem 1

The varieties of residuated lattices and idempotent residuated lattices do not have the amalgamation property.

Figures (1)

  • Figure 1: Labeled Hasse diagrams for the residuated lattices discussed in the proof of Theorem \ref{['thm']}.

Theorems & Definitions (3)

  • Theorem 1
  • proof
  • Remark