Sequent and hypersequent calculi for abelian and Lukasiewicz logics - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computational Logic Année : 2005

Sequent and hypersequent calculi for abelian and Lukasiewicz logics

Metcalfe G.
  • Fonction : Auteur
D. M. Gabbay
  • Fonction : Auteur

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01479577 , version 1 (28-02-2017)

Identifiants

  • HAL Id : hal-01479577 , version 1

Citer

Metcalfe G., Nicola Olivetti, D. M. Gabbay. Sequent and hypersequent calculi for abelian and Lukasiewicz logics. ACM Transactions on Computational Logic, 2005, 6 (3), pp.578--613. ⟨hal-01479577⟩
110 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More