We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, ...

When this reporter, ahem, asked for a friendly reminder (wink-wink) about the math concept, Sykora explained the distributive property of multiplication. “For example, if you have 12 times 3, instead ...