Goal-Directed Calculi for Gödel-Dummett Logics
In this work we present goal-directed calculi for the Gödel-Dummett logic LC and its finite-valued counterparts, LCn(n ≥ 2). We introduce a terminating hypersequent calculus for the implicational fragment of LC with local rules and a single identity axiom. We also give a labelled goal-directed calculus with invertible rules and show that it is co-NP. Finally we derive labelled goal-directed calculi for LCn.
KeywordsGödel Logics Intermediate Logics Fuzzy Logics Hypersequents Goal-Directed Calculi
Unable to display preview. Download preview PDF.