Completeness in finite algebras with a single operation

Completeness in finite algebras with a single operation
HTML articles powered by AMS MathViewer

by G. Rousseau

Proc. Amer. Math. Soc. 18 (1967), 1009-1013

DOI: https://doi.org/10.1090/S0002-9939-1967-0217002-1

PDF | Request permission

References

Emil L. Post, The Two-Valued Iterative Systems of Mathematical Logic, Annals of Mathematics Studies, No. 5, Princeton University Press, Princeton, N. J., 1941. MR 0004195
Roger F. Wheeler, Complete connectives for the $3$-valued propositional calculus, Proc. London Math. Soc. (3) 16 (1966), 167–191. MR 189986, DOI 10.1112/plms/s3-16.1.167
Ivo Rosenberg, La structure des fonctions de plusieurs variables sur un ensemble fini, C. R. Acad. Sci. Paris 260 (1965), 3817–3819 (French). MR 176917
S. V. Jablonskiĭ, Functional constructions in a $k$-valued logic, Trudy Mat. Inst. Steklov. 51 (1958), 5–142 (Russian). MR 0104578
Arto Salomaa, On basic groups for the set of functions over a finite domain, Ann. Acad. Sci. Fenn. Ser. A I 338 (1963), 15. MR 0169779
Arto Salomaa, On essential variables of functions, especially in the algebra of logic, Ann. Acad. Sci. Fenn. Ser. A I 339 (1963), 11. MR 0169780
P. Schofield, Complete subsets of mappings over a finite domain, Proc. Cambridge Philos. Soc. 62 (1966), 597–611. MR 202587, DOI 10.1017/s0305004100040263
Roy O. Davies, Two theorems on essential variables, J. London Math. Soc. 41 (1966), 333–335. MR 199096, DOI 10.1112/jlms/s1-41.1.333