Login
 
Hauptdaten
Autor: Sergei Odintsov
Titel: Constructive Negations and Paraconsistency
Verlag: Springer-Verlag
ISBN/ISSN: 9781402068676
Auflage: 1
Preis : CHF 160.10
Erscheinungsdatum:
Inhalt
Kategorie: Mathematik
Sprache: English
Technische Daten
Seiten: 242
Kopierschutz: DRM
Geräte: PC/MAC/eReader/Tablet
Formate: PDF
Inhaltsangabe

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.