Javascript must be enabled for the correct page display

Automatic Tableau Builder for Grzegorczyk Logic

Schoeber, N. (2017) Automatic Tableau Builder for Grzegorczyk Logic. Bachelor's Thesis, Artificial Intelligence.

AI_BA_2017_NSchoeber.pdf - Published Version

Download (691kB) | Preview
[img] Text
Toestemming.pdf - Other
Restricted to Backend only

Download (79kB)


This research aims to build an automated tableau builder for Grzegorczyk logic and to check whether its logic is sound and complete. This is done by creating a tableau system using the rules and characteristics of Grzegorcyk logic. These new tableau rules are then directly implemented in an algorithm that tries to create a tableau for every inference. This algorithm is able to prove the Grzegorczyk axiom and its set of rules is proven to be sound and complete.

Item Type: Thesis (Bachelor's Thesis)
Degree programme: Artificial Intelligence
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 15 Feb 2018 08:29
Last Modified: 15 Feb 2018 08:29

Actions (login required)

View Item View Item