Abstrakcyjna logika algebraiczna pomostem między algebrą a logiką

W zadziwiający sposób logika jest powiązana z algebrą. Z matematycznej perspektywy każdy język, czy to naturalny, czy sztuczny, posiada złożoną strukturę algebraiczną. Struktura ta wyraźnie ujawnia się w językach sztucznych, a zwłaszcza w językach logik zdaniowych. Abstrakcyjna logika algebraiczna jest współcześnie rozwijana w wielu ośrodkach na świecie. AAL zajmuje się nie tylko logikami protoalgebraicznymi i nie tylko logikami zdaniowymi. W jej polu widzenia są wszelkie systemy dedukcyjne. Istotną część AAL stanowią badania logik równościowych oraz, w szczególności, badania w zakresie teorii równościowo definiowanego komutatora.

---

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).