Literature cited
W. Ackermann, "Begründung einer strengen Implikation," J. Symb. Logic,21, 113–128 (1956).
A. R. Anderson and N. D. Belnap, "A modification of Ackermann's ‘rigorous implication’," J. Symb. Logic,23, 457–458 (1958).
A. R. Anderson and N. D. Belnap, "First degree entailment," Math. Annalen (1963).
N. D. Belnap, "Entailment and relevance," J. Symb. Logic,25, 144–146 (1960).
N. D. Belnap, "Intentional models for first degree formulas," J. Symb. Logic,32, 1–22 (1967).
V. V. Donchenko, "The decision problem for Ackermann's calculus of rigorous implication," in: Problems of Logic [in Russian], Izd-vo AN SSSR (1963).
L. L. Maksimova, "Formal deductions in the calculus of strict entailment," Algebra i Logika, Seminar,5, No. 6, 33–39 (1966).
H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, Monografie Matematiczne PAN, Warsaw (1963), p. 41.
Additional information
Translated from Algebra i Logika, Vol. 7, No. 2, pp. 55–76, March–April, 1968.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. The calculus of strict entailment. Algebr Logic 7, 102–116 (1968). https://doi.org/10.1007/BF02218632
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02218632