= Cylindric numbering
{wiki=Cylindric_numbering}
Cylindric numbering is a method used in the context of formal logic, particularly in model theory and algebraic logic, to represent and manipulate structures that have cylindrical or "cylindric" properties. Specifically, it often pertains to the representation of relations and functions in a multi-dimensional setting. One of the primary applications is in the study of cylindric algebras, which are algebraic structures that are used to represent relations in a categorical way.
Back to article page