Muutke küpsiste eelistusi

E-raamat: Paraconsistency: The Logical Way to the Inconsistent [Taylor & Francis e-raamat]

(State University of Campinas, Brazil), (State University of Campinas, Brazil), (State University of Campinas, Brazil)
Teised raamatud teemal:
  • Taylor & Francis e-raamat
  • Hind: 281,59 €*
  • * hind, mis tagab piiramatu üheaegsete kasutajate arvuga ligipääsu piiramatuks ajaks
  • Tavahind: 402,26 €
  • Säästad 30%
Teised raamatud teemal:
These 29 papers from the May 2000 conference present systems of paraconsistent logics and systems of non-standard logics with paraconsistent features, and analyze paraconsitency from a philosophical perspective. Some of the topics are a taxonomy of C-systems, the logic of opposition, a multiple worlds semantics for a paraconsistent nonmonotonic logic, fuzzy relevant logic, paraconsistency in Chang's logic with positive and negative truth values, and the question of whether paraconsistent negations exist. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

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.
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.