Parakonsistente Logik

Eine Klasse nichtklassischer Logiken, die das klassische Explosionsprinzip (ex contradictione quodlibet) ablehnt oder einschränkt, sodass eine explizite Widersprüchlichkeit in einer formalen Theorie nicht jede Formel impliziert; solche Systeme definieren Konsequenzrelationen und Beweisregeln, die kontrolliertes, nicht‑triviales Schließen bei widersprüchlichen Prämissen erlauben.