Journal of Soviet Mathematics

October 1976, Volume 6, Issue 4, pp 422–428 | Cite as

Cut-elimination theorem for relevant logics

• Authors
• Authors and affiliations

• G. E. Mints

Article

• 61 Downloads
• 13 Citations

Keywords

Relevant Logic 

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Literature cited

1. 1.
   A. R. Anderson, “Some open problems concerning the systemE of entailment,” Acta Phil. Fennica,16, 7–18 (1963).Google Scholar
2. 2.
   A. R. Anderson and N. D. Belnap, “The pure calculus of entailment,” J. Symbolic Logic,27, No. 1, 19–52 (1962).Google Scholar
3. 3.
   N. D. Belnap, “Intensional models for first-degree formulas,” J. Symbolic Logic,32, No. 1, 1–22 (1967).Google Scholar
4. 4.
   D. Prawitz, Natural Deduction, Stockholm (1965).Google Scholar
5. 5.
   G. Kreisel, “A survey of proof theory (II),” in: Proc. Second Scand. Logic Sympos. (1971), pp. 109–170.Google Scholar
6. 6.
   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).Google Scholar

Copyright information

© Plenum Publishing Corporation 1976

Authors and Affiliations

• G. E. Mints

There are no affiliations available