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 Program Social Program Registration Location and Venue Accommodation Committees Contact Colocated Events Authors' instructions

Print 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