Algebraisierung der Logik

Der Prozess, einem deduktiven System eine Klasse von Algebren (ein algebraisches Gegenstück) zuzuordnen, die dessen Konsequenzrelation und äquationalen Eigenschaften exakt erfasst, häufig durch Identifikation von Übersetzungs­schemata zwischen Formeln und algebraischen Termen und Bedingungen, unter denen syntaktische Folgerung äquationale Gültigkeit entspricht.