RUS
ENG
Full version
JOURNALS
// Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
// Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.,
2018
Number 2,
Pages
56–59
(Mi vmumm22)
This article is cited in
7
papers
Short notes
Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic
M. V. Starostin
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
The problem of implicit expressibility in the three-valued logic is considered. The system of all implicitly maximal classes is described. The corresponding criterion of implicit completeness is formulated.
Key words:
implicit expressibility, three-valued logic, maximal classes.
UDC:
519.716.32
Received:
27.10.2017
Fulltext:
PDF file (278 kB)
References
Cited by
English version:
Moscow University Mathematics Bulletin, Moscow University Måchanics Bulletin, 2018,
73
:2,
82–84
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (278 kB)