Author(s): Carnielli
Year: 2002
Language: English
Pages: 575
Preface......Page 10
Contents......Page 20
Contributors......Page 22
A Taxonomy of C-systems......Page 24
PARACONSISTENT CLASSICAL LOGIC*......Page 118
The Logic of Opposition......Page 132
Categorical Consequence for Paraconsistent Logic......Page 164
Ontological causes of inconsistency and a change-adaptive, logical solution.*......Page 174
An Adaptive Logic for Pragmatic Truth......Page 190
A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic......Page 210
An inductive annotated logic......Page 236
On NCGomega: a paraconsistent sequent calculus......Page 250
A, Still Adorable......Page 264
Fuzzy Relevant Logic......Page 284
On some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics*......Page 298
The Dialogical Dynamics of Adaptive Paraconsisteney......Page 318
An inconsistency-adaptive proof procedure for logic programming......Page 346
Referential and inferential many-valuedness *......Page 364
When is a Substructural Logic Paraconsistent?......Page 376
Beyond Truth(-Preservation)......Page 392
Paraconsistency in Chang's Logic with Positive and Negative Truth Values *......Page 404
Fault-tolerance and Rota-Metropolis cubic logic......Page 420
The Annotated Logics OPbl......Page 434
Definability and Interpolation in Extensions of Johansson's Minimal Logic......Page 458
Towards a Mathematics of Impossible Pictures......Page 468
Ambiguity is not Enough......Page 478
Are paraconsistent negations negations?......Page 488
On the role of adjunction in para(in) consistent logic *......Page 510
Between Consistency and Paraconsistency: Perspectives from Evidence Logic......Page 524
Kinds of Inconsistency......Page 534
Paraconsistent Logic vs. Meinongian Logic......Page 546
CAN A PARACONSISTENT THEORIST BE A LOGICAL MONIST?*......Page 558
