Labelled Calculi for Lukasiewicz Logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Labelled Calculi for Lukasiewicz Logics

Didier Galmiche
Yakoub Salhi

Résumé

In this paper, we define new decision procedures for Łukasiewicz logics. They are based on particular integer-labelled hypersequents and of logical proof rules for such hypersequents. These rules being proved strongly invertible our procedures naturally allow one to generate countermodels. From these results we define a "merge"-free calculus for the infinite version of Łukasiewicz logic and prove that it satisfies the sub-formula property. Finally we also propose for this logic a new terminating calculus by using a focusing technique.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00580305 , version 1

Citer

Didier Galmiche, Yakoub Salhi. Labelled Calculi for Lukasiewicz Logics. 15th International Workshop on Logic, Language, Information and Computation - WoLLIC '08, Jul 2008, Edinburgh, United Kingdom. pp.194--207. ⟨hal-00580305⟩
427 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More