Locally Finite Functional Polyadic Algebra with Terms

Alzubaidy, Kahtan H.; Bennour, Nabila M.

doi:10.18052/www.scipress.com/BMSA.2.61

BMSA > BMSA Volume 2 > Locally Finite Functional Polyadic Algebra with...

< Back to Volume

Locally Finite Functional Polyadic Algebra with Terms

Full Text PDF

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

Info:

Periodical:

Bulletin of Mathematical Sciences and Applications (Volume 2)

Pages:

61-67

DOI:

https://doi.org/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:

November 2012

Authors:

Kahtan H. Alzubaidy, Nabila M. Bennour

Keywords:

Monadic Algebra, Polyadic Algebra, Terms

Export:

RIS, BibTeX, Text

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).

Show More Hide

Cited By:

This article has no citations.