You are here: Home :: Area NEM :: Mathematics

A. L. Shabunin

Examples of α-complete systems of k-valued logic for k = 3, 4

In the paper, we prove the α-completeness of finite systems of function of k-valued logic for k = 3, 4 containing all permutations of the symmetric group S_k on the set E_k = {0, 1, . . . ,k−1}, the operation of addition modulo k, and k certain binary operation. This result is extended to some other systems of functions which are obtained by replacing the operation of addition by some quasi-group operation.

Discrete Mathematics and Applications, Walter de Gruyter

Print ISSN: 0924-9266
Volume: 16, 12/2006
Pages: 589 - 600

Show full article (external site)

Show all available items of this journal

 

Area NEM