RUS
ENG
Full version
PEOPLE
Cebotari Vadim
Publications in 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, no. 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, no. 3,
45–50
©
Steklov Math. Inst. of RAS
, 2025