TY  - JOUR
AU  - S. A. Drobyshevich
TI  - Composition of an intuitionistic negation and negative modalities as a~necessity operator
JO  - Algebra i logika
PY  - 2013
SP  - 305
EP  - 331
VL  - 52
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2013_52_3_a2/
LA  - ru
ID  - AL_2013_52_3_a2
ER  -