What is Negation?, Dov M. Gabbay; Heinrich Wansing

Автор: Sergei Odintsov
Название: Constructive Negations and Paraconsistency
ISBN: 9048177448 ISBN-13(EAN): 9789048177448
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Автор: Dov M. Gabbay; Heinrich Wansing
Название: What is Negation?
ISBN: 9048151694 ISBN-13(EAN): 9789048151691
Издательство: Springer
Рейтинг:
Цена: 30467.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.