Natural deduction for non-classical logics

Studia Logica

Volumn 60, Issue 1, 1998, Pages 119-160

  Basin, David ^a   Matthews, N ^b   Viganò, Luca ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 54649084581     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005003904639     Document Type: Article

References (57)

1. ANDERSON, A. R., N. D. BELNAP, Jr., and J. M. DUNN, Entailment, The Logic of Relevance and Necessity, volume 2, Princeton University Press, Princeton, New Jersey, 1992.
2. AVRON, A., 'Simple consequence relations', Information and Computation 92, 105139, 1991.
3. AVRON, A., F. HONSELL, M. MICULAN, and C. PARAVANO, 'Encoding modal logics in logical frameworks', this issue, 161-208.
4. BASIN, D., S. MATTHEWS, and L. VIGANò, 'Implementing modal and relevance logics in a logical framework', in L. Carlucci Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of KR'96, 386-397. Morgan Kaufmann Publishers, Inc., San Francisco, California, 1996.
5. BASIN, D., S. MATTHEWS, and L. VIGANÓ, 'Labelled prepositional modal logics: theory and practice', Journal of Logic and Computation 7(6), 1997.
6. BELNAP, Jr. N. D., 'Display logic', Journal of Philosophical Logic 11, 357-417, 1982.
7. BULL, K., and K. SEGERBERG, Basic modal logic, 1-88, volume 2 of Gabbay and Guenthner [19], 1984.
8. D'AGOSTINO, M., and D. M. GABBAY, 'A generalization of analytic deduction via labelled deductive systems. Part I: basic substractural logics', Journal of Automated Reasoning 13, 243-281, 1994.
9. DOSEN, K., 'Sequent-systems for modal logic', Journal of Symbolic Logic 50(1), 149168, 1985.
10. DOSEN, K., 'Negation as a modal operator', Reports on Mathematical Logic 20, 15-27, 1986.
11. DUMMETT, M., 'The philosophical basis of intuitionistic logic', in Truth and other enigmas, 215 247, Harvard University Press, Cambridge, Massachusetts, 1978.
12. DUNN, J. M., Relevance logic and entailment, 117-224, volume 3 of Gabbay and Guenthner [19], 1986.
13. DUNN, J. M., 'Star and perp: Two treatments of negation', in J. Tomberlin, editor, Philosophical Perspectives, volume 7, 331-357, Ridgeview, Atascadero, California. 1994.
14. DUNN, J. M., 'Gaggle theory applied to modal, intuitionistic, and relevance logics', in I. Max and W. Stelzner, editors, Logik und Mathematik (Frege Kolloquium '93), 335-368, de Gruyter, Berlin, 1995.
15. DUNN, J. M., 'Positive modal logic', Studia Logica 55, 301-317, 1995.
16. FARINAS DEL CERRO, L., and A. HERZIG, 'Combining classical and intuitionistic logic', in F. Baader and K. U. Schulz, editors, Frontiers of Combining Systems, 93102, Kluwer Academic Publishers, Dordrecht, 1996,
17. FITTING, M., Proof Methods for Modal and Intuitionistic Logics, Kluwer Academic Publishers, Dordrecht, 1983.
18. GABBAY, D. M. IDS - Labelled Deductive Systems (Volume 1 - Foundations), Clarendon Press, Oxford, 1996.
19. GABBAY, D. M., and F. GUENTHNER, editors, Handbook of Philosophical Logic, D. Reidel Publishing Company, Dordrecht, 1983-1986.
20. GARDNER, P., 'A new type theory for representing logics', in A. Voronkov, editor, Proceedings of L PA R '93, LNAI 698, 146 157, Springer, Berlin, 1993.
21. GARDNER, P., 'Equivalences between logics and their representing type theories' Mathematical Structures in Computer Science 5, 323-349, 1995.
22. GENTZEN, G., 'Untersuchungen über das logische Schlieβen I, IP, Mathematische Zeitschrift 39, 176-210, 405-431, 1934-1935. English translation in [23J.
23. GENTZEN, G., 'Investigations into logical deduction' in M. Szabo, editor, The collected papers of Gerhard Gentzen, 68-131, North Holland, Amsterdam, 1969.
24. GlRARD, J.-Y., 'Linear logic', Theoretical Computer Science 50, 1-102, 1987.
25. GOLDBLATT, R., 'Semantical analysis of orthologic', Journal of Philosophical Logic 31, 9-35, 1974.
26. HARPER, R., F. HONSELL, and G. PLOTKIN, 'A framework for defining logics', Journal of the ACM 40(1), 143-184, 1993.
27. HERZIG, A., Raisonnement Automatique en Logique Modale et Algorithmes d'Unification, PhD thesis, Université Paul-Sabatier, Toulouse, 1989.
28. HONSELL, F., and M. MICULAN, 'A natural deduction approach to dynamic logics', in S. Berardi and M. Coppo, editors, Proceedings of TYPES'95, LNCS 1158, 165-182, Springer, Berlin, 1996.
29. HUGHES, G., and M. CRESSWELL, A Companion to Modal Logic, Methuen, London, 1984.
30. HUMBERSTONE, I., 'Interval semantics for tense logic: Some remarks', Journal of Philosophical Logic 8, 171-196, 1979.
31. JONSSON, B., and A. TARSKI, 'Boolean algebras with operators', American Journal of Mathematics 73-74, 891-939, 127-162, 1951-1952.
32. MARTINI, S., and A. MASINI, 'A computational interpretation of modal proofs', in H. Wansing, editor, Proof Theory of Modal Logic, 213-241, Kluwer Academic Publishers, Dordrecht, 1996.
33. MASINI, A., '2-sequent calculus: a proof theory of modalities', Annals of Pure and Applied Logic 58, 229-246, 1992.
34. NEDERPELT, R. P., J. H. GEUVERS, and R. C. DE VRIJER, editors, Selected Papers on Automath, Eisevier, Amsterdam, 1994.
35. OHLBACH, H. J., A Resolution Calculus for Modal Logics, PhD thesis, Universität Kaiserslautern, Kaiserslautern, Germany, 1988.
36. OHLBACH, H. J., 'Translation methods for non-classical logics: an overview', Bulletin of the IGPL 1(1), 69-90, 1993.
37. ORLOWSKA, E., 'Relational interpretation of modal logics', in H. Andreka, J. D. Monk, and I. Németi, editors, Algebraic. Logic, North-Holland, Amsterdam, 1991
38. ORLOWSKA, E., 'Relational proof system for relevant logics', Journal of Symbolic Logic 57(4), 1425-1440, 1992.
39. PAULSON L., 'The foundation of a generic theorem prover', Journal of Automated Reasoning 5, 363-397, 1989.
40. PAULSON, L., Isabelle: A Generic Theorem Prover, LNCS 828, Springer, Berlin, 1994.
41. PFENNING, F., The practice of logical frameworks', in H. Kirchner, editor, Proceedings of CAAP'96, LNCS 1059, 119-134, Springer, Berlin, 1996.
42. PRAWITZ, D., Natural Deduction, a Proof-Theoretical Study, Almqvist and Wiksell, Stockholm, 1965.
43. PRAWITZ, D., 'Ideas and results in proof theory', in J. E. Fensted, editor, Proceedings of the 2nd Scandinavian Logic. Symposium, 235-307. North-Holland, Amsterdam, 1971.
44. RESTALL, G-, 'Display logic and gaggle theory', Technical Report TR-ARP-22-95, Australian National University, Dec. 7, 1995.
45. RESTALL, G., 'Negation in relevant logics (how I stopped worrying and learned to love the Routley star)', Technical Report TR-ARP-3-95, Australian National University, Feb. 20, 1995.
46. ROUTLEY, R., and R. MEYER, The semantics of entailment - II', Journal of Philosophical Logic 1, 53-73, 1972.
47. ROUTLEY, R., V. PLUMWOOD, R. MEYER, and R. BRADY, Relevant Logics and their Rivals, Ridgeview, Atascadero, California, 1982.
48. Russo, A., Modal Logics as Labelled Deductive Systems, PhD thesis, Department of Computing, Imperial College, London, 1996.
49. SHOENFIELD, J. R., Mathematical Logic, Addison Wesley, Reading, Massachusetts, 1967.
50. SIMPSON, A., The Proof Theory and Semantics of Intuitiomstic Modal Logic, PhD thesis, University of Edinburgh, Edinburgh, 1993.
51. [5l] SUNDHOLM, G., Proof theory and meaning, 471-506, volume 3 of Gabbay and Guenthner [19], 1986.
52. TROELSTRA, A. S., and H. SCHWICHTKNBERG, Basic proof theory, Cambridge University Press, Cambridge, 1996.
53. VAN BENTHEM, J., Correspondence theory, 167-248, volume 2 of Gabbay and Guenthner [19], 1984.
54. VAN BENTHEM, J., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985. [55]
55. VAN DALEN, D., Logic and Structure, Springer, Berlin, 1994.
56. Viganò, L., A Framework for Non-Classical Logics, PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, 1997.
57. WANSING, H., 'Sequent calculi for normal modal prepositional logics', Journal of Logic and Computation 4(2), 125-142, 1994.