Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

The Method of Tree-Hypersequents for Modal Propositional Logic

  • Pages : 31 à 52
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 02-11-2015

Mots-clés :

Résumé :

Anglais

Introduction; – The Calculi CSK*; – Admissibility of the Structural Rules; – The Adequateness of the Calculi; – Cut-Elimination Theorem for CSK*; – Conclusions and Further Work.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Samedi 16 octobre 2021