Definition
Polyadic algebras are algebraic structures introduced by Paul Halmos, designed to study first-order logic. Polyadic algebras form one of the main algebraic frameworks used in algebraic logic to study the syntax and model theory of first-order logic.
Related concepts
Alfred TarskiAlgebraic logicAlgebraic structureBoolean algebrasCategory theoryCylindric algebraFirst-order logicFunctorial semanticsJon BarwiseLawvereLindenbaum–Tarski algebraMichiel HazewinkelModel theoryPaul HalmosPropositional logicRelation algebra
4 concepts already in your glossary