TY - JOUR
T1 - Locally Finite Functional Polyadic Algebra with Terms
AU - Alzubaidy, Kahtan H.
AU - Bennour, Nabila M.
JF - Bulletin of Mathematical Sciences and Applications
VL - 2
SP - 61
EP - 67
SN - 2278-9634
PY - 2012
PB - SciPress Ltd
DO - 10.18052/www.scipress.com/BMSA.2.61
UR - https://www.scipress.com/BMSA.2.61
KW - Monadic Algebra
KW - Polyadic Algebra
KW - Terms
AB - 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
ER -