Residuated lattices: An algebraic glimpse at sub-structural logics
By Nicholaos Galatos, Peter Jipsen, T. Kowalski, H. Ono. 2007
1,069 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/ff06f9c9baf027b0616fe206f2717ebc1fe1d561
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
Citations in the corpus
- A category equivalence for odd Sugihara monoids and its applications (2012, unknown): “For any class K of [bounded] CRLs, we abbreviate {C− : C ∈ K} as K−.”
- 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.”
- Residuated frames with applications to decidability (2012, background): “We recall some basic results on residuated lattices; for more on residuated structures we refer the reader to [18] and [12].”