Parakonsistente Logik

Inhalt

Charakterisierung der Parakonsistenz

Sei eine Relation einer logischen Konsequenz. Dann kann semantisch, beweistheoretisch oder auf andere Weise definiert werden.

Die Relation ist explosiv, wenn für alle A und B gilt, {A, &;A} B.