
Paraconsistency
The Logical Way to the Inconsistent
CRC Press
1st Edition
Published on 1. April 2002
Book
Paperback/Softback
376 pages
978-0-8247-0805-4 (ISBN)
Article exhausted; check different version
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.
More details
Series
Language
English
Place of publication
Bosa Roca
United States
Publishing group
Taylor & Francis Inc
Target group
Professional and scholarly
Dimensions
Height: 254 mm
Width: 178 mm
Weight
907 gr
ISBN-13
978-0-8247-0805-4 (9780824708054)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Walter Alexandr Carnielli | Marcelo Coniglio | Itala Maria Lof D'ottaviano
Paraconsistency
The Logical Way to the Inconsistent
Book
10/2019
1st Edition
CRC Press
€282.26
Shipment within 10-20 days

Walter Alexandr Carnielli | Marcelo Coniglio | Itala Maria Lof D'ottaviano
Paraconsistency
The Logical Way to the Inconsistent
E-Book
04/2002
1st Edition
CRC Press
from
€170.00
Available for download

Walter Alexandr Carnielli | Marcelo Coniglio | Itala Maria Lof D'ottaviano
Paraconsistency
The Logical Way to the Inconsistent
E-Book
04/2002
CRC Press
€264.99
Available for download
Persons
Author
State University of Campinas, Brazil
State University of Campinas, Brazil
State University of Campinas, Brazil
Content
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.