Carnielli / Coniglio / D'ottaviano Paraconsistency

The Logical Way to the Inconsistent
Erscheinungsjahr 2002
ISBN: 978-0-203-91013-9
Verlag: Taylor & Francis
Format: PDF
Kopierschutz: 0 - No protection

E-Book, Englisch, 376 Seiten

Reihe: Lecture Notes in Pure and Applied Mathematics

Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.

Autoren/Hrsg.

Carnielli, Walter Alexandr

Coniglio, Marcelo

D'ottaviano, Itala Maria Lof

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

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.