Paraconsistency: The Logical Way to the Inconsistent - Brossura

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

 
9780824708054: Paraconsistency: The Logical Way to the Inconsistent
Brossura
ISBN 10: 0824708059 ISBN 13: 9780824708054
Casa editrice: CRC Press, 2002

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
CRC Press
Data di pubblicazione
2002
Lingua
Inglese
ISBN 10 
0824708059
ISBN 13 
9780824708054
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
376
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780824744236: Paraconsistency: The Logical Way to the Inconsistent

Edizione in evidenza

ISBN 10:  0824744233 ISBN 13:  9780824744236
Casa editrice: Marcel Dekker Inc, 2002
Rilegato