Jump to content

Polyadic algebra

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Crapalan (talk | contribs) at 22:08, 7 June 2022. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Polyadic algebras (more recently called Halmos algebras[1]) are algebraic structures introduced by Paul Halmos. They are related to first-order logic analogous to the relationship between Boolean algebras and propositional logic (see Lindenbaum–Tarski algebra).

There are other ways to relate first-order logic to algebra, including Tarski's cylindric algebras[1] (when equality is part of the logic) and Lawvere's functorial semantics (a categorical approach).[2]

References

  1. ^ a b Michiel Hazewinkel (2000). Handbook of algebra. Vol. 2. Elsevier. pp. 87–89. ISBN 978-0-444-50396-1.
  2. ^ Jon Barwise (1989). Handbook of mathematical logic. Elsevier. p. 293. ISBN 978-0-444-86388-1.

Further reading


Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Polyadic_algebra&oldid=1092045014"