Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
Author(s)
Bibliographic Information
Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
(Lecture notes in pure and applied mathematics, v. 228)
M. Dekker, c2002
Available at / 31 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
S||LNPAN||22802011646
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC21:511.3/C2172070559633
-
No Libraries matched.
- Remove all filters.
Note
"The Brazil Paraconsistency Conference in honour of Newton da Costa ... 'II World Congress on Paraconsistency' (WCP'2000) was held in Juquehy-São Sebastião, São Paulo State, in Brazil, from May 12-19, 2000"--Pref
Includes bibliographical references
Description and Table of Contents
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.
Table of Contents
- 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.
by "Nielsen BookData"