Kahtan H. Alzubaidy, Nabila M. Bennour, Locally Finite Functional Polyadic Algebra with Terms, BMSA Volume 2, Bulletin of Mathematical Sciences and Applications (Volume 2)
https://www.scipress.com/BMSA.2.61
Abstract:
    In 1956 P.R.Halmos [3] introduced polyadic algebra to express first order logic algebraically. In this work we extend polyadic algebra to include terms as
Keywords:
    Monadic Algebra, Polyadic Algebra, Terms