Sergei Odintsov

Education

• ‣ 1987: C.Sс. (Candidate of Sciences, i.e., Ph.D.) in math,
  
  ‣ Novosibirsk State University, Soviet Union,
  
  ‣ Ideals and Quotient-Algebras of Constructive Boolean Algebras
  
  ‣ (thesis advisor: S.S. Goncharov)
• ‣ 2007: D.Sс. (Doctor of Sciences) in math,
  
  ‣ Sobolev Institute of Mathematics, Russian Federation,
  
  ‣ Constructive Negations and Paraconsistency
  
  ‣ (english version was published as monograph) [details]

Scientific interests

• ‣ {non-classical logics}: constructive and paraconsistent ones, etc
• ‣ {logic programming}: stable models and well-founded semantics, etc
• ‣ {philosophical logic}: theory of truth (according to Kripke), etc

In editorial boards of

 

• ‣ Algebra and Logic(since 1989 till 1994) 
• ‣ Studia Logica(associate editor since 2010) 
• ‣ Logica Universalis(since 2007) 
• ‣ Logic and Logical Philosophy(since 2004)

Books & chapters

• • Constructive negations and paraconsistency. Series: 
  
  Trends in Logic, Volume 26. 2008, 242 p. [link]
• Articles
• Cf. complete list of publications.