Main Data
Author: Sergei Odintsov
Title: Constructive Negations and Paraconsistency
Publisher: Springer-Verlag
ISBN/ISSN: 9781402068676
Edition: 1
Price: CHF 160.10
Publication date: 01/01/2008
Category: Mathematics
Language: English
Technical Data
Pages: 242
Kopierschutz: DRM
Geräte: PC/MAC/eReader/Tablet
Formate: PDF
Table of contents

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.