Kinship is a fundamental feature and basis of human societies. We describe a set of computational tools and services, the Kinship Algebra Modeler, and the logic that underlies these. These were developed to improve how we understand both the fundamental facts of kinship, and how people use kinship as a resource in their lives. Mathematical formalism applied to cultural concepts is more than an exercise in model building, as it provides a way to represent and explore logical consistency and implications. The logic underlying kinship is explored here through the kin term computations made by users of a terminology when computing the kinship relation one person has to another by referring to a third person for whom each has a kin term relationship. Kinship Algebra Modeler provides a set of tools, services and an architecture to explore kinship terminologies and their properties in an accessible manner
