Literature cited
W. Ackermann, "Begrundung einer strengen Implikation," J. Symb. Logic,21, 113–128 (1956).
A. R. Anderson and N. D. Belnap, "The pure calculus of entailment," J. Symb. Logic,27, 19–52 (1962).
N. D. Belnap, "EQ and the first order functional calculus," Zeitschr. f. math. Logik Grundl. Math.,6, 217–218 (1960).
N. D. Belnap, "Intensional models for first degree formulas," J. Symb. Logic,32, 1–22 (1967).
L. L. Maksimova, "Formal deductions in the calculus of strict entailment," Algebra i Logika, Seminar,5, No. 6, 33–39 (1966).
L. K. Meyer and J. M. Dunn, "Entailment logics and material implication," Notices A.M.S.,15, No. 7, 660–48 (1968).
R. K. Meyer and J. M. Dunn, "E, R, and γ," J. Symb. Logic,34, 460–474 (1969).
Additional information
Translated from Algebra i Logika, Vol. 9, No. 5, pp. 530–538, September–October, 1970.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. E-theories. Algebr Logic 9, 320–325 (1970). https://doi.org/10.1007/BF02321895
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02321895