This is a preview of subscription content, log in via an institution to check access.
Literature Cited
W. Ackermann, “Begründung einer strengen Implikation,” J. Symb. Logic,21, 113–128 (1956).
N. D. Belnap, “Entailment and relevance,” J. Symb. Logic,25, 144–146 (1960).
V. V. Donchenko, “Several problems connected with the solution for the Ackermann calculus of strict implication,” in: Problems in Logic, Moscow (1963).
J. M. Dunn, “Algebraic completeness results for R-mingle and its extensions,” J. Symb. Logic,35, No. 1, 1–13 (1970).
L. L. Maksimova, “Formal deductions in calculi of strict implication,” Algebra i Logika,5, No. 6, 33–39 (1966).
L. L. Maksimova, “Structures with implication,” Algebra i Logika,12, No. 4, 445–467 (1973).
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. 15, No. 2, pp. 168–184, March–April, 1976.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. The principle of separation of variables in propositional logics. Algebra and Logic 15, 105–114 (1976). https://doi.org/10.1007/BF01877235
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01877235