Non-classical logic

In der Logik ist eine rationale Folgerungsrelation eine nicht-monotone Folgerungsrelation, die bestimmte, unten aufgeführte Eigenschaften erfüllt.

Fuzzy-Logik ist eine Form der mehrwertigen Logik, in der der Wahrheitswert von Variablen jede reelle Zahl zwischen 0 und 1 annehmen kann.

Die lineare Logik ist eine von dem französischen Logiker Jean-Yves Girard vorgeschlagene Substrukturlogik , die die klassische und intuitionistische Logik verfeinert und deren Dualitäten mit vielen konstruktiven

Der Modalfehlschluss oder Modalbereichsfehlschluss ist ein formaler Fehlschluss in der Modallogik .

Eine nicht-monotone Logik ist eine formale Logik, deren Folgerungsrelation nicht monoton ist . Anders ausgedrückt: Nicht-monotone Logiken dienen dazu, widerlegbare Schlussfolgerungen zu erfassen und darzustellen , d. h.

In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions inspired by the structure of quantum theory.

Relevanzlogik , auch relevante Logik genannt , ist eine Art nichtklassischer Logik, die voraussetzt, dass Antezedens und Konsequens von Implikationen in einem relevanten Zusammenhang stehen.

In der formalen Semantik ist die Strawson - Folgerung eine Variante des Folgerungsbegriffs , die unempfindlich gegenüber Präsuppositionsverletzungen ist .

Subjektive Logik ist eine Form der probabilistischen Logik , die epistemische Unsicherheit und Quellenvertrauen explizit berücksichtigt.

In der Logik bezeichnet man als substrukturelle Logik eine Logik, der eine der üblichen Strukturregeln (z. B.

In der mathematischen Logik ist eine superintuitionistische Logik eine Aussagenlogik, die die intuitionistische Logik erweitert . Eine Logik ist eine Menge von Aussagenformeln mit bestimmten Abschlusseigenschaften.