Muutke küpsiste eelistusi

Paraconsistency: The Logical Way to the Inconsistent [Pehme köide]

(State University of Campinas, Brazil), (State University of Campinas, Brazil), (State University of Campinas, Brazil)
  • Formaat: Paperback / softback, 376 pages, kõrgus x laius: 254x178 mm, kaal: 907 g, Contains 228 paperbacks
  • Sari: Lecture Notes in Pure and Applied Mathematics
  • Ilmumisaeg: 01-Apr-2002
  • Kirjastus: CRC Press Inc
  • ISBN-10: 0824708059
  • ISBN-13: 9780824708054
Teised raamatud teemal:
  • Pehme köide
  • Hind: 320,50 €*
  • * saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
  • See raamat on trükist otsas, kuid me saadame teile pakkumise kasutatud raamatule.
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Lisa soovinimekirja
  • Raamatukogudele
  • Formaat: Paperback / softback, 376 pages, kõrgus x laius: 254x178 mm, kaal: 907 g, Contains 228 paperbacks
  • Sari: Lecture Notes in Pure and Applied Mathematics
  • Ilmumisaeg: 01-Apr-2002
  • Kirjastus: CRC Press Inc
  • ISBN-10: 0824708059
  • ISBN-13: 9780824708054
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.