Term satisfiability in FL${}_{\mathrm{ew}}$-algebras

Zuzana Haniková, Petr Savický

FL${}_{\mathrm{ew}}$-algebras form the algebraic semantics of the full Lambek calculus with exchange and weakening. We investigate two relations, called satisfiability and positive sat…