A Survey of Residuated Lattices

327 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Residuated frames with applications to decidability (2012, background): “The result for FL was proved in [16] in the setting of phase spaces, for PLa it was shown in [14], and for GL it was proved in [10] in the setting of Gentzen matrices.”
On the structure of generalized BL-algebras (2006, background): “However all these examples satisfy the identities x ∨ y = x/((x ∨ y)\x) = (x/(x ∨ y))\x that define generalized MV-algebras ([11]), called GMV-algebras for short (see also [7] for the bounded version).”
Cancellative residuated lattices (2003, background): “For a survey of residuated lattices we refer to [21].”
Generalized MV-algebras (2005, background): “The following result provides a concise equational basis for RLC . Theorem 2.2 ([4, 20 ], see also [18]).”
Minimal varieties of residuated lattices (2005, background): “5) of [12].”
AMALGAMATION AND INTERPOLATION IN ORDERED ALGEBRAS (2014, background): “Let us now briefly recall some structure theory for pointed residuated lattices, referring to [8,23,35,52] for further details.”
Classes of residuated lattices (2006, background): “The following proposition provides some rules of calculus in a residuated lattice (see [1], [3], [6], [17]), [18], [21]).”