Provability and Countermodels in Gödel-Dummett Logics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Provability and Countermodels in Gödel-Dummett Logics

Didier Galmiche
Yakoub Salhi

Résumé

Hypersequent calculi, that are a generalization of sequent calculi, have been studied for Gödel-Dummett logics LC and LCn. In this paper we propose a new characterization of validity in these logics from the construction of particular bi-colored graphs associated to hypersequents and the search of specific chains in such graphs. It leads to other contributions that are a new hypersequent calculus and a related tableau system for LCn.We mainly study the class of so-called basic hypersequents and then we generalize our approach to hypersequents.
Fichier non déposé

Dates et versions

hal-00580307 , version 1 (27-03-2011)

Identifiants

  • HAL Id : hal-00580307 , version 1

Citer

Didier Galmiche, Dominique Larchey-Wendling, Yakoub Salhi. Provability and Countermodels in Gödel-Dummett Logics. International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, Jul 2007, Bremen, Germany. pp.35-52. ⟨hal-00580307⟩
72 Consultations
0 Téléchargements

Partager

More