Constructive Negations and Paraconsistency

by Sergei Odintsov

Series: Trends in Logic (No. 26)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

  • Springer Netherlands; March 2008
  • ISBN: 9781402068676
  • Read online, or download in DRM-free PDF (digitally watermarked) format
  • Title: Constructive Negations and Paraconsistency
  • Series: Trends in Logic (No. 26)
  • Author: Sergei Odintsov
  • Imprint: Springer

In The Press

From the reviews:

“This book is much more than a collection of papers, everything has been organized very smoothly and it forms a coherent whole about the study of a big class of logics. The presentation of this systematic work in a book is a very good point. It will turn research on paraconsistent logic and negation more accessible. This kind of book can easily be used as a textbook for advanced courses. It is clearly written, gathering a variety of scattered concepts and results.” (Jean-Yves Beziau, Studia Logica, Vol. 100, 2012)

"This is the first book-length algebraic study of constructive paraconsistent logics. … The monograph under review has a very clear structure. … This monograph is indispensable for anybody interested in the algebraic study of constructive paraconsistent logics in particular, but it is also most rewarding for anyone interested in non-classical logics in general." (Heinrich Wansing, Zentralblatt MATH, Vol. 1161, 2009)