Paraconsistency

TRAMA

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.

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9780824708054
• Collana: Lecture Notes in Pure and Applied Mathematics
• Dimensioni: 11 x 8.5 in Ø 2.00 lb
• Formato: Brossura
• Pagine Arabe: 376