This article is cited in 16 papers

Basic relations for the $S$-classification of functions of multivalued logic

S. S. Marchenkov


Abstract: For sets of functions of multi-valued logic the $S$-closure is defined as the closure with respect to the operations of superposition and transition to the dual functions. To describe the $S$-closed classes lying in the $S$-precomplete class of idempotent functions we introduce some standard relations which are called basic. We prove that any \linebreak[3] $S$-closed class of idempotent functions specified by arbitrary two-place relations can be defined by appropriate basic relations as well.
The work was partially supported by the Russian Foundation for Basic Research, Grants 93–011–1525 and 95–01–01625–a.

UDC: 519.716

Received: 07.07.1993
Revised: 14.12.1995

DOI: 10.4213/dm512

 English version: Discrete Mathematics and Applications, 1996, 6:2, 149–178

Bibliographic databases:

• 
•