RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Cebotari Vadim
Публикации в базе данных Math-Net.Ru
A criterion for parametrical completeness in the 8-valued algebraic model of modal logic
$S5$
Bul. Acad. Ştiinţe Repub. Mold. Mat.
, 2010, № 2,
59–66
Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting
Bul. Acad. Ştiinţe Repub. Mold. Mat.
, 2006, № 3,
45–50
©
МИАН
, 2025