In the spirit of teaching elementary-age kids in a fun way, Emerson Elementary School teachers are getting creative when it comes to explaining math concepts.

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, ...