Automatyczne systemy przetwarzania informacji - logiczny paradygmat tablic dualnych

Celem pracy jest omówienie metodologii konstruowania systemów w stylu relacyjnych tablic dualnych, będących ważnym narzędziem w dziedzinie automatycznego dowodzenia twierdzeń. W pierwszej części pracy przedstawione zostały kluczowe pojęcia dla systemów tablic dualnych, w których językiem dedukcji jest klasyczna logika relacyjna. Druga część pracy poświęcona jest konstrukcji relacyjnego systemu tablic dualnych, umożliwiającego weryfikację tautologiczności formuł modalnej logiki informacyjnej z relacjami słabego podobieństwa i słabej rozróżnialności.