Sentence examples for cylindric from inspiring English sources

In the years 1948 1952 Tarski, along with his students Chin and Thompson, created cylindric algebras as an algebraic logic companion to first-order logic, and in 1956 Paul Halmos (1916 2006) introduced polyadic algebras for the same purpose.

Tarski's cylindric algebras constitute a particular abstract formulation of first order logic in terms of diagonal relations coding equality and substitution relations encoding variables.

Quine intended the predicate functor language to lead to a novel algebraization of first-order logic; while bound variables can be eliminated, Quine never defined an algebra in the usual sense — something similar, for instance, to cylindric algebras.

Among logicians and mathematicians he is in addition famous for his work on set theory, model theory and algebra, which includes results and developments such as the Banach-Tarski paradox, the theorem on the indefinability of truth (see section 2 below), the completeness and decidability of elementary algebra and geometry, and the notions of cardinal, ordinal, relation and cylindric algebras.