Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
著者
書誌事項
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
大学図書館所蔵 件 / 全31件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"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
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より