Browsing by Author "Chlebowski, Szymon"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Kanoniczne i dualne rachunki erotetyczne dla logiki I-rzędu(2018) Chlebowski, Szymon; Wiśniewski, Andrzej. PromotorW swojej książce First-Order Logic and Automated Theorem Proving Fitting wprowadził pojęcie własności niesprzeczności (CP), blisko spokrewnione z pojęciem zbioru Hintikki. Własność niesprzeczności jest rodziną formuł spełniającą pewne kryteria. Główne twierdzenie dotyczące CP głosi, że każdy zbiór należący do CP posiada model Herbranda. Z punktu widzenia teorii dowodu, własności niesprzeczności mogą zostać z powodzeniem użyte w celu jednorodnego dowodu pełności dla rozmaitych systemów dowodzenia twierdzeń, w tym tabel analitycznych, systemów aksjomatycznych, rachunku sekwentów czy rezolucji, nie mogą być jednak w prosty sposób wykorzystane w dowodach pełności systemów dualnych, np. dualnej rezolucji. W rozprawie wprowadzone zostają pojęcia dualnego zbioru Hintikki oraz własności falsyfikowalności (RF) oraz udowodnione zostaje twierdzenie o istnieniu kontrmodelu, zgodnie z którym każdy zbiór należący do RF posiada kontrmodel Herbranda. Wprowadzona zostaje technika oparta na pojęciu RF, którą zastosowano w celu uzyskania jednorodnego dowodu pełności dla trzech dualnych rachunków erotetycznych dla logiki I-rzędu zdefiniowanych w rozprawie.