Literature cited
A. R. Anderson, “Some open problems concerning the systemE of entailment,” Acta Phil. Fennica,16, 7–18 (1963).
A. R. Anderson and N. D. Belnap, “The pure calculus of entailment,” J. Symbolic Logic,27, No. 1, 19–52 (1962).
N. D. Belnap, “Intensional models for first-degree formulas,” J. Symbolic Logic,32, No. 1, 1–22 (1967).
D. Prawitz, Natural Deduction, Stockholm (1965).
G. Kreisel, “A survey of proof theory (II),” in: Proc. Second Scand. Logic Sympos. (1971), pp. 109–170.
N. D. Belnap and J. R. Wallace, “A decision procedure for the systemE ¯J of entailment with negation,” Z. Math. Logik Grundlagen. Math.,11, No. 4, 277–289 (1965).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im V. A. Steklova Akademii Nauk SSSR, Vol. 32, pp. 90–97, 1972.
Rights and permissions
About this article
Cite this article
Mints, G.E. Cut-elimination theorem for relevant logics. J Math Sci 6, 422–428 (1976). https://doi.org/10.1007/BF01084083
Issue Date:
DOI: https://doi.org/10.1007/BF01084083