Cylindric Algebras, Part I

Leon Henkin, J. D. M., & Tarski, A. Cylindric Algebras, Part I.

Type

Web resource

Intellectual base

Web

Link

https://philpapers.org/rec/HENCAP-5

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Associativity
  • and Tarski's cylindric algebras, which formalize associative operations in algebraic logic (Tarski 1946 / Tarski-Givant 1987).

    This sourceStudies in Logic and the Foundations of Mathematics 64. North-Holland, Amsterdam/London, 1971 (vi + 508 pp.). The canonical reference on cylindric algebras, which formalize associative operations in algebraic logic

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ef298dbe4045 · see in the full table