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

IIIF provides researchers rich metadata and media viewing options for comparison of works across cultural heritage collections. Visit the IIIF page to learn more. This geometric model was constructed ...

Cans on a grocery store shelf and Hirst's Capric Acid Amide can illustrate dot arrays, thus helping students understand the distributive property, partial products, and the standard algorithm for ...