Goal-Directed Calculi for Gödel-Dummett Logics

  • George Metcalfe
  • Nicola Olivetti
  • Dov Gabbay
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2803)

Abstract

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.

Keywords

Gödel Logics Intermediate Logics Fuzzy Logics Hypersequents Goal-Directed Calculi 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • George Metcalfe
    • 1
  • Nicola Olivetti
    • 2
  • Dov Gabbay
    • 1
  1. 1.Department of Computer ScienceKing’s College LondonStrand, LondonUK
  2. 2.Department of Computer ScienceUniversity of TurinTurinItaly

Personalised recommendations