Advertisement

Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

An interpretation and separation theorems for the logical systemsE andR

  • 45 Accesses

  • 7 Citations

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

Literature cited

  1. 1.

    A. R. Anderson, “Some open problems concerning the system of entailment,” Acta Philosophica Fennica, Helsinki, 7–18 (1963).

  2. 2.

    A. R. Anderson and N. D. Belnap, “The pure calculus of entailment,” J. Symbolic Logic,27, No. 1, 19–53 (1962).

  3. 3.

    N. D. Belnap, “Intensional models for first-degree formulas,” J. Symbolic Logic,32, No. 1, 1–22 (1967).

  4. 4.

    N. D. Belnap and J. R. Wallace, “A decision procedure for the system EI of entailment with negation,” Z. Math. Logic and Grundl. Math.,2, No. 4, 277–289 (1965).

  5. 5.

    R. K. Meyer, “E and S4,” Notre Dame J. Form. Logic,2, No. 2, 181–198 (1970).

  6. 6.

    R. K. Meyer, “Some problems no longer open for E and related logics,” J. Symbolic Logic,35, No. 2, 353 (1970).

  7. 7.

    L. L. Maksimova, “Formal deduction in the system of strict implication,” Algebra i Logika,5, No. 6, 33–39 (1966).

  8. 8.

    L. L. Maksimova, “On models of the system E,” Algebra i Logika,6, No. 6, 5–20 (1967).

  9. 9.

    L. Fuchs, Partially Ordered Algebraic Systems, Addison-Wesley-Pergamon (1963).

Download references

Additional information

Translated from Algebra i Logika, Vol. 10, No. 4, pp. 376–392, July–August, 1971.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Maksimova, L.L. An interpretation and separation theorems for the logical systemsE andR . Algebr Logic 10, 232–241 (1971). https://doi.org/10.1007/BF02219810

Download citation

Keywords

  • Mathematical Logic
  • Separation Theorem