A theorem concerning the composition of functions of several variables ranging over a finite set

Publisher Website
Google Scholar
Abstract
Consider functions whose variables, finite in number, range over a fixed finite set N and whose values are elements of N. The elements of N are denoted simply by the natural numbers 1,2, …, n. There are nnm distinct m-place functions. If N is chosen to be the set of n truth-values then the functions considered are obviously truth-functions in n-valued logic.

This publication has 2 references indexed in Scilit: