α | → marina v. stukacheva

born: 1977, barnaul, ussr

education

• ‣ master's degree in education, barnaul state pedagogical university, 2000
• ‣ ph.d. in math, sobolev institute of mathematics, 2006, `disjunction property and canonical
  formulas in class of extensions of minimal logic` (advisor: s.p. odintsov) [details]

handful of interests

• ‣ {research}: paraconsistent logics, etc

of publications

• [i] the disjunction property in the class of paraconsistent extensions of minimal logic //
  algebra & logic. vol. 43 (2004), no. 2, pp. 235–252. [in russian, + english translation]
• [ii] some remarks about constructive extensions of minimal logic // bulletin of novosibirsk
  state university. series: mathematics, mechanics, informatics. vol. 5 (2005), no. 3,
  pp. 3–16. [in russian]
• [iii] on canonical formulas for extensions of the minimal logic // siberian electronic
  mathematical reports. vol. 3 (2006), pp. 312–334. [in russian]
• [iv] on canonical formulas for extensions of minimal logic // the bulletin of symbolic logic.
  vol. 12 (2006), no. 2, p. 348.

teaching

• ‣ `mathematical logic and theory of algorithms` (seminars; i.t. dept of n.s.u., 2004-2009)
• ‣ `theory of algorithms` (or `intro to computability`, seminars; m.m. dept of n.s.u., since 2006)
• ‣ `elementary mathematics` (higher school in physics and mathematics, since 2007)

stukacheva [at] math [dot] nsc [dot] ru