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.
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.
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
Jean-Yves Beziau
Fuzzy Logic Many-valued Logic Paracomplete Logic Paraconsistent Logic Quantum Logic 03B53, 03B45, 03B50, 03B52, 03A05 Contradiction Negation Modal Logic