Literature cited
L. L. Maksimova, "On locally finite varieties of pseudo-Boolean algebras," 16th All-Union Conf. on Algebra, Leningrad (1981), pp. 99–100.
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
E. Raseva and R. Sikorskii, The Mathematics of Metamathematics [in Russian], Nauka, Moscow (1972).
A. I. Tsitkin, "An example of a prelocally table superinuitionistic propositional logic," in: Logic and the Foundations of Mathematics [in Russian], Vilnius (1982), pp. 97–99.
K. Jacobs, "Machine-generated 0–1-sequences", in: Turing Machines and Recursive Functions [Russian translation], Mir, Moscow (1972).
V. A. Yankov, "The connection between deducibility in an intuitionistic propositional calculus, and finite implication structures", Dokl. Akad. Nauk SSSR,151, No. 6, 1263–1264 (1963).
Additional information
Translated from Algebra i Logika, Vol. 23, No. 1, pp. 74–87, January–February, 1984.
Rights and permissions
About this article
Cite this article
Mardaev, S.I. Number of prelocally table superintuitionistic propositional logics. Algebra and Logic 23, 56–66 (1984). https://doi.org/10.1007/BF01979699
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01979699