Birth date: 19.10.1979
E-mail:
Keywords: admissibility, derivability, structurally completness.

Subject:

Inference rules in nonstandart logics.

Main publications:

1. 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