Yurasova, Ekaterina Mikhailovna
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Number of views: This page: 280 Abstract pages: 216 Full texts: 75 References: 40
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
https://www.mathnet.ru/eng/person41618
List of publications on Google Scholar
List of publications on ZentralBlatt
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 Siberian Math. J. , 44 :4 (2003), 568–576
1
Organisations
Contact us: