Talk:Polyadic algebra

Tip: Anchors are case-sensitive in most browsers.

This article links to one or more target anchors that no longer exist.

[[first-order logic#equality#equality and its axioms|equality]]

Please help fix the broken anchors. You can remove this template after fixing the problems. | Reporting errors

Polyadic algebras are an algebraic structure introduced by Paul Halmos. They are related to propositional calculus in a way analagous to the relationship between Boolean algebras and Boolean logic.

Shouldn't this say "predicate calculus" instead of "propositional calculus"? Michael Hardy (talk) 03:07, 29 May 2009 (UTC)[reply]

Pllllllausibly? I just kinda read about it in Halmos autobiography and got excited that there wasn't a page for it. I'm not even aware of anyone who isn't Halmos who did research into it. Pthag (talk) 21:15, 29 May 2009 (UTC)[reply]