Goal-directed calculi for Godel-Dummett logics

George Metcalfe, Nicola Olivetti, Dov Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference paper

11 Citations (Scopus)

Abstract

In this work we present goal-directed calculi for the Godel-Dummett logic LC and its finite-valued counterparts, LCn (n greater than or equal to 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.
Original languageEnglish
Title of host publicationComputer Science Logic
Subtitle of host publication17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
EditorsM Baaz, J A Makowsky
Place of PublicationBerlin
PublisherSpringer
Pages413 - 426
Number of pages14
VolumeN/A
EditionN/A
ISBN (Print)3540408010
Publication statusPublished - 2003
Event12th Annual Conference of the European-Association-for-Computer-Logic/8th Kurt Godel Colloquium/17th International Workshop on Computer Science Logic - VIENNA, Austria
Duration: 1 Jan 2003 → …

Publication series

NameLecture Notes In Computer Science
PublisherSpringer
Number2803

Conference

Conference12th Annual Conference of the European-Association-for-Computer-Logic/8th Kurt Godel Colloquium/17th International Workshop on Computer Science Logic
Country/TerritoryAustria
CityVIENNA
Period1/01/2003 → …

Fingerprint

Dive into the research topics of 'Goal-directed calculi for Godel-Dummett logics'. Together they form a unique fingerprint.

Cite this