ATOMIC AND MOLECULAR PARACONSISTENT LOGICS

ATOMIC AND MOLECULAR PARACONSISTENT LOGICS

An unusual classification of paraconsistent logics is presented. The classification is based on the distinction between atomic and molecular paraconsistent logics. An example of a molecular paraconsistent logic with the property that ⊢ ¬A ⊃(¬¬A ⊃ B) is given. Some difficulties connected with a defin...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logique et analyse 2002-03, Vol.45 (177/178), p.31-37
1. Verfasser: KARPENKO, ALEXANDER S.
Format: Artikel
Sprache:eng
Schlagworte:
Aristotelianism
Calculus
Explosives
Inference
Mathematical logic
Modus ponens
Paraconsistent logics
Priests
Propositional logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An unusual classification of paraconsistent logics is presented. The classification is based on the distinction between atomic and molecular paraconsistent logics. An example of a molecular paraconsistent logic with the property that ⊢ ¬A ⊃(¬¬A ⊃ B) is given. Some difficulties connected with a definition of a paraconsistent logic are stressed.
ISSN:0024-5836
2295-5836