In this article we present a notion of “logical perfection”. We first describe through examples logical perfection extracted from the contemporary concept categoricity. Categoricity (in power) has become in past half century main driver ideas model theory, both mathematically (stability theory may be regarded as way approximating categoricity) and philosophically. two decades, categoricity noti...

Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard free models. They also appear in grammatical inference as the syntactic concept lattice, an algebraic structure canonically defined for every language L based on the lattice of all distributionally definable subsets of strings. Recent results show that it is possible to build representations, such a...