|
|
International workshop "Syntax and semantics of logical systems"
August 15, 2019 12:00–12:30, Сamp site on the shore of Lake Hovsgol
|
|
|
|
|
|
Logical $k$-valued functions classification based on additive formulae
D. G. Meshchaninov National Research University "Moscow Power Engineering Institute"
|
Number of views: |
This page: | 94 | Materials: | 4 |
|
Abstract:
Function algebra $P_k$ of $k$-valued logic functions and the inclusion lattice ${\cal L}_k$ of closed under superposition classes in $P_k$ are analysed. The classes are described with the use of canonical additive formulae (modulo $k$ sums) of their elements. One summand of each sum is a linear function, the other terms depend on a divisor $d$ of $k$, they determine various families of such classes. For all $k$ and $d$, generating sets and bases of the classes are found, location of each class in ${\cal L}_k$ is determined.
Supplementary materials:
Мещанинов.pdf (1.3 Mb)
|
|