Literature cited
S. V. Popov, "An undecidable superintuitionistic calculus," Algebra Logika,20, No. 6, 654–706 (1981).
Additional information
Translated from Algebra i Logika, Vol. 24, No. 2, pp. 195–204, March–April, 1985.
Rights and permissions
About this article
Cite this article
Skvortsov, D.P. One superintuitionistic calculus of propositions. Algebra and Logic 24, 119–125 (1985). https://doi.org/10.1007/BF01979880
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01979880