Hybrid Logic and its Proof-Theory pp 203-210 | Cite as
Labelled Versus Internalized Natural Deduction
Chapter
First Online:
Abstract
In this chapter we compare the hybrid-logical natural deduction system given in Section 2.2 to a labelled natural deduction system for modal logic. The chapter is structured as follows. In the first section of the chapter we describe the labelled natural deduction system under consideration and in the second section we define a translation from this system to the hybrid-logical natural deduction system given in Section 2.2. In the third section we compare reductions in the two systems. The material in this chapter is taken from Braüner(2007).
References
- T. Braüner. Why does the proof-theory of hybrid logic work so well? Journal of Applied Non-Classical Logics, 17:521–543, 2007.CrossRefGoogle Scholar
- D. Basin, S. Matthews, and L. Viganò. Labelled propositional modal logics: Theory and practice. Journal of Logic and Computation, 7:685–717, 1997.CrossRefGoogle Scholar
- D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist and Wiksell, Stockholm, 1965.Google Scholar
- D. Prawitz. Ideas and results in proof theory. In J. E. Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, volume 63 of Studies in Logic and The Foundations of Mathematics, pages 235–307. North-Holland, 1971.Google Scholar
- A. Simpson. The Proof Theory and Semantics of Intuitionistic Modal logic. PhD thesis, University of Edinburgh, 1994.Google Scholar
- L. Viganò. Labelled Non-classical Logics. Kluwer, 2000.Google Scholar
Copyright information
© Springer Science+Business Media B.V. 2011