Algebra-Logik-Korrespondenz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Jede systematische Beziehung, die algebraische Strukturen mit logischen Systemen verknüpft, sodass algebraische Identitäten logische Gesetze widerspiegeln und logische Ableitungen algebraischen Konstruktionen entsprechen.