New Directions in Paraconsistent Logic

5th WCP, Kolkata, India, February 2014

  • Jean-Yves Beziau
  • Mihir Chakraborty
  • Soma Dutta
Conference proceedings

Part of the Springer Proceedings in Mathematics & Statistics book series (PROMS, volume 152)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Tutorials

  3. Many-valued Systems of Paraconsistent Logic

    1. Front Matter
      Pages 89-89
    2. Ofer Arieli, Arnon Avron
      Pages 91-129
    3. Jean-Yves Beziau, Anna Franceschetto
      Pages 131-145
    4. J. Nescolarde-Selva, J. L. Usó-Doménech, K. Alonso-Stenberg
      Pages 147-163
    5. Sourav Tarafder, Mihir Kr. Chakraborty
      Pages 165-183
    6. Esko Turunen, J. Tinguaro Rodríguez
      Pages 185-210
  4. Paraconsitency and Modality

    1. Front Matter
      Pages 211-211
    2. Marek Nasieniewski, Andrzej Pietruszczak
      Pages 213-228
    3. Davide Ciucci, Didier Dubois
      Pages 229-247
  5. Tools and Framework

    1. Front Matter
      Pages 267-267
    2. Tomasz Jarmużek, Marcin Tkaczyk
      Pages 295-307
    3. Bryson Brown
      Pages 335-352
    4. Ross T. Brady
      Pages 353-373
    5. Luis Estrada-González
      Pages 375-425
  6. Philosophical Aspects And Applications Pf Paraconsistent Logic

About these proceedings


The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.


Fuzzy Logic Many-valued Logic Paracomplete Logic Paraconsistent Logic Quantum Logic 03B53, 03B45, 03B50, 03B52, 03A05 Contradiction Negation Modal Logic

Editors and affiliations

  • Jean-Yves Beziau
    • 1
  • Mihir Chakraborty
    • 2
  • Soma Dutta
    • 3
  1. 1.Federal University of Rio de JaneiroRio de JaneiroBrazil
  2. 2.Indian Statistical Institute KolkatKolkataIndia
  3. 3.C.I.T CampusInstitute for Mathematical SciencesChennaiIndia

Bibliographic information