Als Relevanzlogiken wird eine Familie nichtklassischer Logiken bezeichnet, die mit einer restriktiveren Implikation als Standardsysteme arbeiten. Vorrangiges Ziel ist meist die Vermeidung der sog. Paradoxien der materialen Implikation. Der Grundgedanke ist immer, dass das Antezedens für das Sukzedens "relevant" sein soll (daher der Name). Alle .....