Advertisement

Structural Rules for Multi-valued Logics

  • Nissim FrancezEmail author
  • Michael Kaminski
Article
  • 10 Downloads

Abstract

We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting only multi-valued logics. Then, we propose a novel definition, namely, structural rules completeness of a collection of structural rules, requiring derivability of the restriction of consequence to atomic formulas by structural rules only. The restriction to atomic formulas relieves the need to concern logical rules in the derivation.

Keywords

Structural rules Multi-valued logics Structural rules completeness 

Mathematics Subject Classification

Primary 03F03 Secondary 03B22 03A02 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

References

  1. 1.
    Baaz, M., Fermüler, C.G., Zach, R.: Systematic construction of natural deduction systems for many-valued logics. In: Proceedings of the 23rd International Symposium on Multiple Valued Logics, Sacramento, CA, May 1993, pp. 208–213. IEEE press, Los Alamitos, (1993)Google Scholar
  2. 2.
    Francez, N., Kaminski, M.: On poly-logistic natural-deduction for finitely-valued propositional logics. J. Appl. Logic (to appear), 2019. Presented at ISRALOG17, Haifa, (October 2017)Google Scholar
  3. 3.
    Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1935). English translation of the 1935 paper in GermanGoogle Scholar
  4. 4.
    Kaminski, M., Francez, N.: Calculi for multi-valued logics. (2018) (in preparation)Google Scholar
  5. 5.
    Panti, Giovanni: Multi-valued logics. In: Gabbay, Dov, Smets, Philippe (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 25–74. Kluwer, Dordrecht (1998)Google Scholar
  6. 6.
    Wintein, Stefan, Muskens, Reinhard: Nothing but the truth. J. Philos. Logic 45(4), 451–465 (2016)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Computer Science DepartmentTechnion-IITHaifaIsrael

Personalised recommendations