Labelled Deduction over Algebras of Truth-Values*

  • João Rasga
  • Amílcar Sernadas
  • Cristina Sernadas
  • Luca Viganò
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2309)


We introduce a framework for presenting non-classical logics in a modular and uniform way as labelled natural deduction systems. The use of algebras of truth-values as the labelling algebras of our systems allows us to give generalized systems for multiple-valued logics. More specifically, our framework generalizes previous work where labels represent worlds in the underlying Kripke structure: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, our framework allows us to present also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards fibring these logics with many-valued ones.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Baaz, C. G. Fermüller, G. Salzer, and R. Zach. Labeled calculi and finite-valued logics. Studia Logica, 61(1):7–33, 1998.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Viganò, eds.. Labelled Deduction. KluwerAcademic Publishers, 2000.Google Scholar
  3. 3.
    D. Basin, S. Matthews, and L. Viganò. Natural deduction for non-classical logics. Studia Logica, 60(1):119–160, 1998.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    P. Blackburn and M. de Rijke. Why combine logics? Studia Logica, 59:5–27, 1997.zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.Google Scholar
  6. 6.
    L. Bolc and P. Borowik. Many-Valued Logics I. Springer-Verlag, 1992.Google Scholar
  7. 7.
    W. Carnielli. Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic, 52(2):473–493, 1987.zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    M. D'Agostino and D. M. Gabbay. A Generalization of Analytic Deduction via Labelled Deductive Systems I: Basic Substructural Logics. Journal of Automated Reasoning, 13(2):243–281, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    M. D'Agostino, D. M. Gabbay, R. Hähnle, and J. Posegga, eds.. Handbook of Tableau Methods. KluwerAcademic Publishers, 1999.Google Scholar
  10. 10.
    J. M. Dunn. Relevance logic and entailment. In D. M. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic III, pp. 117–224. D. Reidel Publ. Co, 1986.Google Scholar
  11. 11.
    D. M. Gabbay. Labelled Deductive Systems, volume 1. Clarendon Press, 1996.Google Scholar
  12. 12.
    D. M. Gabbay. Fibring Logics. Oxford University Press, 1999.Google Scholar
  13. 13.
    S. Gottwald. A Treatise on Many-Valued Logics. Research Studies Press, 2001.Google Scholar
  14. 14.
    R. Hähnle. Tableaux forman y-valued logics. In D'Agostino et al. [9], pp. 529–580.Google Scholar
  15. 15.
    J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring deduction systems labelled with truth-values. Technical report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, Lisboa, Portugal, to appear.Google Scholar
  16. 16.
    J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. Journal of Logic and Computation, to appear.Google Scholar
  17. 17.
    G. Restall. Relevant and substructural logics. In D. M. Gabbay and J. Woods, eds., Handbook of the History and Philosophy of Logic. To appear.Google Scholar
  18. 18.
    A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149–179, 1999.zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In M. de Rijke and D. M. Gabbay, eds., Frontiers of Combining Systems 2, pp. 295–316. Research Studies Press, 2000.Google Scholar
  20. 20.
    A. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press, 1996.Google Scholar
  21. 21.
    L. Viganò. Labelled Non-Classical Logics. KluwerAcademic Publishers, 2000.Google Scholar
  22. 22.
    A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414–439, 2001.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • João Rasga
    • 1
  • Amílcar Sernadas
    • 1
  • Cristina Sernadas
    • 1
  • Luca Viganò
    • 2
  1. 1.CLC, Dep. de MatemáticaISTLisbonPortugal
  2. 2.Institut für InformatikUniversität FreiburgFreiburgGermany

Personalised recommendations