Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-24T11:50:45.722Z Has data issue: false hasContentIssue false
  • English
  • Français

A new S4 classical modal logic in natural deduction

Published online by Cambridge University Press:  12 March 2014

Maria Da Paz N. Medeiros
Maria Da Paz N. Medeiros*
Affiliation:
Universidade Federal Do Rio G. Norte, Departamento De Filosfisia, Campus Universitário, Lagoa Nova, CEP 59072-970 Natal, RN, Brasil.E-mail:mpaz@ufrnet.br
Get access Rights & Permissions [Opens in a new window]

Abstract

We show, first, that the normalization procedure for S4 modal logic presented by Dag Prawitz in [5] does not work. We then develop a new natural deduction system for S4 classical modal logic that is logically equivalent to that of Prawitz, and we show that every derivation in this new system can be transformed into a normal derivation.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 71 , Issue 3 , September 2006 , pp. 799 - 809
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bellin, G., A system of natural deduction for GL, Theoria, vol. 7 (1985).Google Scholar
[2]Bierman, G. M. and Paiva, V. C. V. De, On an ituitionistic modal logic, Studia Logica, vol. 65 (2000), pp. 383–416.CrossRefGoogle Scholar
[3]Masini, A., 2-sequent calculus: Intuitionism and natural deduction, Journal of Logic and Computation, vol. 3 (1993), pp. 533–562.CrossRefGoogle Scholar
[4]Medeiros, M. P. N., Traduções via Teoria da Prova: Aplicações à Lógica Linear, EDUFRN, Natal, 2002.Google Scholar
[5]Prawitz, D., Natural deduction, Almqvist & Wiksel, Stockholm, 1965.Google Scholar
[6]Simpson, A., The proof theory and semantics of intuitionistic modal logic, PhD. Thesis, University of Edinburgh, 1994.Google Scholar
[7]Stålmarck, G., Normalization theorems for full first order classical natural deduction, this Journal, vol. 56 (1991).Google Scholar