Paraconsistency: The Logical Way to the Inconsistent, 1st Edition (Paperback) book cover

Paraconsistency

The Logical Way to the Inconsistent, 1st Edition

By Walter Alexandr Carnielli, Marcelo Coniglio, Itala Maria Lof D'ottaviano

CRC Press

376 pages

Purchasing Options:$ = USD
Paperback: 9780824708054
pub: 2002-04-10
SAVE ~$64.00
Currently out of stock
$320.00
$256.00
x


FREE Standard Shipping!

Description

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features.

Table of Contents

A taxonomy of C-systems; paraconsistent classical logic; the logic of opposition; categorical consequence for paraconsistent logic; ontological causes of inconsistency and a change-adaptive, logical solution; an adaptive logic for pragmatic truth; a multiple worlds semantics for a paraconsistent nonmonotonic logic; an inductive annotated logic; on NCG - a paraconsistent sequent calculus; A, still adorable; fuzzy relevant logic; on some remarkable relations between paraconsistent logics, modal logics and ambiguity logics; the dialogical dynamics of adaptive paraconsistency; an inconsistency-adaptive proof procedure for logic programming; referential and inferential many-valuedness.

About the Series

Lecture Notes in Pure and Applied Mathematics

Learn more…

Subject Categories

BISAC Subject Codes/Headings:
MAT000000
MATHEMATICS / General
MAT028000
MATHEMATICS / Set Theory