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

Periodical:

Bulletin of Mathematical Sciences and Applications (Volume 2)

Pages:

61-67

DOI:

10.18052/www.scipress.com/BMSA.2.61

Citation:

K. H. Alzubaidy and N. M. Bennour, "Locally Finite Functional Polyadic Algebra with Terms", Bulletin of Mathematical Sciences and Applications, Vol. 2, pp. 61-67, 2012

Online since:

Nov 2012

Authors:

Keywords:

Distribution:

Open Access

This work is licensed under a

Creative Commons Attribution 4.0 International License

References:

A. G. Hamilton, Logic for Mathematicians. Cambridge University Press, Cambridge, (1988).

K.H. Alzubaidy, On Algebraization Of Polyadic Logic. Journal of Mathematical Sciences, 18(1), 15-18 (2007).

P. R. Halmos, Algebraic Logic II . Homogenous Locally Finite Polyadic Boolean Algebras Of Infinite Degree. Fundamenta Mathematicae 43, 255-325 (1956).

P. R. Halmos, Lectures on Boolean Algebra. D. Van Nostran, Princeton, (1963).

S. Burris & H. P. Shakappanavor, A Course in Universal Algebra. New York: Springer-Verlag (1981).