Linguistique de l’écrit

Revue internationale en libre accès

Livre | Chapitre

190799

The method of tree-hypersequents for modal propositional logic

Francesca Poggiolesi

pp. 31-51

Résumé

In this paper we present a method, that we call the tree-hypersequent method, for generating contraction-free and cut-free sequent calculi for modal propositional logics. We show how this method works for the systems K, KD, K4 and KD4, by giving a sequent calculus for these systems which are normally presented in the Hilbert style, and by proving all the main results in a purely syntactical way.

Détails de la publication

Publié dans:

Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.

Pages: 31-51

DOI: 10.1007/978-1-4020-9084-4_3

Citation complète:

Poggiolesi Francesca, 2009, The method of tree-hypersequents for modal propositional logic. In D. Makinson, J. Malinowski & H. Wansing (eds.) Towards mathematical philosophy (31-51). Dordrecht, Springer.