Skip to main content
  • Conference proceedings
  • © 2015

New Directions in Paraconsistent Logic

5th WCP, Kolkata, India, February 2014

  • Presents the latest findings by experts in the field of
  • paraconsistent logic
  • Examines all aspects of paraconsistent logic
  • Describes various paraconsistent logic systems
  • Emphasizes interdisciplinary aspects of mathematics, philosophy, computer science, artificial intelligence and linguistics
  • Includes supplementary material: sn.pub/extras

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

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (25 papers)

  1. Front Matter

    Pages i-xi
  2. Tutorials

    1. Front Matter

      Pages 1-1
    2. Tutorial on Inconsistency-Adaptive Logics

      • Diderik Batens
      Pages 3-38
    3. On the Philosophy and Mathematics of the Logics of Formal Inconsistency

      • Walter Carnielli, Abilio Rodrigues
      Pages 57-88
  3. Many-valued Systems of Paraconsistent Logic

    1. Front Matter

      Pages 89-89
    2. Three-Valued Paraconsistent Propositional Logics

      • Ofer Arieli, Arnon Avron
      Pages 91-129
    3. Strong Three-Valued Paraconsistent Logics

      • Jean-Yves Beziau, Anna Franceschetto
      Pages 131-145
    4. An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values

      • J. Nescolarde-Selva, J. L. Usó-Doménech, K. Alonso-Stenberg
      Pages 147-163
    5. A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory

      • Sourav Tarafder, Mihir Kr. Chakraborty
      Pages 165-183
    6. Two Consistent Many-Valued Logics for Paraconsistent Phenomena

      • Esko Turunen, J. Tinguaro Rodríguez
      Pages 185-210
  4. Paraconsitency and Modality

    1. Front Matter

      Pages 211-211
    2. On Modal Logics Defining Jaśkowski-Like Discussive Logics

      • Marek Nasieniewski, Andrzej Pietruszczak
      Pages 213-228
    3. From Possibility Theory to Paraconsistency

      • Davide Ciucci, Didier Dubois
      Pages 229-247
  5. Tools and Framework

    1. Front Matter

      Pages 267-267
    2. A Method of Defining Paraconsistent Tableaus

      • Tomasz Jarmużek, Marcin Tkaczyk
      Pages 295-307

About this book

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.

Editors and Affiliations

  • Federal University of Rio de Janeiro, Rio de Janeiro, Brazil

    Jean-Yves Beziau

  • Indian Statistical Institute Kolkat, Kolkata, India

    Mihir Chakraborty

  • C.I.T Campus, Institute for Mathematical Sciences, Chennai, India

    Soma Dutta

About the editors

JEAN-YVES BEZIAU, former PhD student of Newton da Costa, is professor at the University of Brazil, Rio de Janeiro, and editor-in-chief of Logica Universalis (Springer’s journal). He has done research around the world—France, Brazil, Poland, Switzerland and California—and has launched two series of international events: UNILOG, World Congress and School on Universal Logic; SQUARE, World Congress on the Square of Opposition. He is the logic part editor of the Internet Encyclopedia of Philosophy, joint project with Enyclopyedia of Logic that he is editing.

MIHIR KUMAR CHAKRABORTY, PhD, a formerly professor of pure mathematics and logic at the University of Calcutta, is visiting professor at the School of Cognitive Sciences, Jadavpur University, and director of Sivatosh Mookerjee Centre of Sciences, Kolkata. He also had research assignments in Poland, France, Canada, Australia, Italy, Germany and China. Professor Chakraborty had been visiting professor at the Centre for Soft Computing Research, Indian Statistical Institute, Kolkata; Institute for Logic Language and Cognition, Sun Yat-Sen University, Guangzhou, China; Institut de Recherche en Informatique de Toulouse, University Paul Sabataire, Toulouse, France; University of Paris VIII, France; University of Wollongong, Australia; University of Regina, Canada; National Institute of Advanced Studies, Bangalore, India; and Visva-Bharati, Santiniketan, India. A recipient of the Deutscher Akademischer Austuasch Dienst fellowship, IISc fellowship, and fellowship of West Bengal Academy of Sciences, Professor Chakraborty is member of the Council and Research Project Committee of Indian Council for Philosophical Research, and guest professor at the South West University of Chongqing, China. He has about 150 research papers to his credit in several international journals and edited volumes, co-authored one book A Geometry of Approximation (Springer), authored three books in vernacular Bengali on philosophy of mathematics, and co-edited several scientific publications. A member of the editorial board of several international journals and a book series Logic in Asia: Studia Logic Library (Springer), Professor Chakraborty’s areas of research are non-standard logics, rough set theory, fuzzy set theory, reasoning in uncertainty and vagueness, logic of diagrams, topology/functional analysis, and philosophy of mathematics. He also supervised 16 PhD students. Professor Chakraborty is founder of Calcutta Logic Circle, Association for Logic in India, Indian Society for Fuzzy Mathematics and Information Processing and member of the advisory board of International Rough Set Society and Indian Rough Set Society.

SOMA DUTTA did her master and doctoral research at the Department of Pure Mathematics, University of Calcutta, India. Her doctoral research is about a theory of graded consequence, a field of study closely related to fuzzy logic, initiated by her PhD supervisor Mihir Kumar Chakraborty. Her research interests also include paraconsistent logics and generalized quantifiers. She has been associated with The Institute of Mathematical Sciences, Chennai, India, as a postdoctoral fellow. Presently, she has a fellowship of  European Research Consortium for Informatics and Mathematics (ERCIM) to pursue postdoctoral research at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland.

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access