Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

Matthias Baaz, Agata Ciabattoni, Christian G Fermüller

Gödel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiabil…