×

Calculi for many-valued logics. (English) Zbl 07380929

Summary: We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems.

MSC:

03B50 Many-valued logic
03F05 Cut-elimination and normal-form theorems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Avron, A., Zamansky, A.: Non-deterministic multi-valued logics-a tutorial. In: Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL. IEEE Computer Society, pp. 53-60 (2010)
[2] Baaz, M., Fermüller, C. G., Zach, R.: Systematic construction of natural deduction systems for many-valued logics. In: Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, ISMVL, IEEE Computer Society, pp. 208-213 (1993) · Zbl 0788.03029
[3] Baaz, M.; Lahav, O.; Zamansky, A., Finite-valued semantics for canonical labelled calculi, J. Autom. Reason., 51, 401-430 (2013) · Zbl 1314.03016 · doi:10.1007/s10817-013-9273-x
[4] Francez, N., Harmony in multiple-conclusion natural-deduction. Log Univ, 8, 215-259 (2014) · Zbl 1339.03045
[5] Francez, N.; Kaminski, M., On poly-logistic natural deduction for finitely-valued propositional logics, J. Appl. Log., 6, 255-289 (2019) · Zbl 1513.03053
[6] Gentzen, G., Untersuchungen über das logische Schliessen I, Math. Z., 39, 176-210 (1935) · Zbl 0010.14501 · doi:10.1007/BF01201353
[7] Gentzen, G., Untersuchungen über das logische Schliessen II, Math. Z., 39, 405-431 (1935) · Zbl 0010.14601 · doi:10.1007/BF01201363
[8] Hanazawa, M.; Takano, M., On intuitionistic many-valued logics, J. Math. Soc. Jpn., 38, 409-419 (1986) · Zbl 0631.03011 · doi:10.2969/jmsj/03830409
[9] Kaminski, M., Nonstandard connectives of intuitionistic propositional logic, Notre Dame J. Form. Log., 29, 309-331 (1988) · Zbl 0658.03005 · doi:10.1305/ndjfl/1093637931
[10] Mendelson, E., Introduction to Mathematical Logic (2010), Boca Raton: CRC Press, Boca Raton · Zbl 1173.03001
[11] Roussenau, G., Sequents in many-valued logic I, Fundam. Math., 60, 23-33 (1967) · Zbl 0154.25504 · doi:10.4064/fm-60-1-23-33
[12] Roussenau, G.: Correction to the paper “sequents in many-valued logic I”. Fundam. Math. 60, 313 (1968)
[13] Roussenau, G., Sequents in many-valued logic II, Fundam. Math., 67, 125-131 (1970) · Zbl 0194.30703 · doi:10.4064/fm-67-1-125-131
[14] Sheffer, HM, A set of five independent postulates for Boolean algebras, with application to logical constants, Trans. Am. Math. Soc., 14, 481-488 (1913) · JFM 44.0076.01 · doi:10.1090/S0002-9947-1913-1500960-1
[15] Takahashi, M.: Many-valued logics of extended Gentzen style I. Sci. Rep. Tokyo Kyoiku Daigaku, Sect. A 9, 271-292 (1968) · Zbl 0172.00805
[16] Takahashi, M., Many-valued logics of extended Gentzen style II, J. Symbol. Log., 35, 493-528 (1970) · Zbl 0229.02021 · doi:10.2307/2271438
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.