RUS
ENG
Full version
PEOPLE
Yurasova Ekaterina Mikhailovna
Candidate of physico-mathematical sciences
Birth date:
19.10.1979
E-mail:
email
Keywords:
admissibility, derivability, structurally completness.
Subject:
Inference rules in nonstandart logics.
Main publications:
Golovanova E. M., “Kriterii dopustimosti pravil vyvoda dlya nekotorogo klassa S4-logik, ne obladayuschikh svoistvom vetvleniya”,
Sib. mat. zhurnal
,
44
:4 (2003),
726–736
Publications in Math-Net.Ru
Personal pages:
Organisations:
Siberian Federal University, Krasnoyarsk
©
Steklov Math. Inst. of RAS
, 2024