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

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!