Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Yurasova, Ekaterina Mikhailovna
Candidate of physico-mathematical sciences
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  mathnet  mathscinet  zmath

https://www.mathnet.ru/eng/person41618
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2003
1. E. M. Golovanova, “A criterion for admissibility of inference rules in some class of $S4$-logics without the branching property”, Sibirsk. Mat. Zh., 44:4 (2003),  726–736  mathnet  mathscinet  zmath; Siberian Math. J., 44:4 (2003), 568–576  isi 1

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024