Computer Science Logic and 8th Kurt Gödel Colloquium
George Metcalfe, Nicola Olivetti and Dov Gabbay: Goal-Directed Calculi for Godel-Dummett Logics
Welcome and News
Host Institutions
Calls and Deadlines
Social Program
Location and Venue
Colocated Events
Authors' instructions
Print current pagePrint this page
In this work we present goal-directed calculi for the infinite and finite-valued Godel-Dummett logics. We introduce a terminating hypersequent calculus for the implicational fragment of the infinite-valued logic with local rules and a single identity axiom. We also give a labelled goal-directed calculus and show that it is co-NP. Finally we derive labelled goal-directed calculi for the finite-valued logics.
© 2002-2003 Kurt Gödel Society, Norbert Preining. 2003-06-04 Valid HTML 4.01! Valid CSS! Debian