RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022 Number 3, Pages 40–45 (Mi vmumm4474)

Mathematics

On the classes of autodual functions implicitly maximal in $P_k$

M. V. Starostin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: The problem of implicit expressibility in many-valued logics is considered. Necessary and sufficient conditions for a class of autodual functions to be implicitly maximal are obtained.

Key words: implicit expressibility, many-valued logic, autodual functions, maximal classes.

UDC: 519.716.32

Received: 15.12.2021


 English version:
Moscow University Mathematics Bulletin, Moscow University Måchanics Bulletin, 2022, 77:3, 154–159

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024