Nichtklassische Logik
Definition
Ein Oberbegriff für formale Logiken, die ein oder mehrere klassische Prinzipien verändern oder aufgeben—wie Bivalenz, das Ausschlussprinzip, Widerspruchsfreiheit oder Monotonie—um Paradoxien, Vagheit, Glauben oder ressourcenbewusstes Schließen besser zu modellieren.