Literature Cited
E. L. Post, Two-Valued Iterative Systems of Mathematical Logic, Princeton Univ. Press, Princeton (1941).
S. V. Yablonskii, G. P. Gavrilov, and V. B. Kudryavtsev, The Functions in the Algebra of a Logic and Post Classes [in Russian], Nauka, Moscow (1966).
A. V. Kuznetsov, “Structures with a closure and criteria for functional density,” Usp. Mat. Nauk,16, No. 2 (98) (1961).
I. Rosenberg, “Special types of universal algebras preserving a relation,” Preprint CRM-169, Universite de Montreal (1972).
V. N. Kotov and B. A. Romov, “Galois theory for relations,” in: Theoretical Cybernetics [in Russian], No. 1, Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1970).
V. G. Bodnarchuk, L. A. Kaluzhnin, V. N. Kotov, and B. A. Romov, “Galois theory for Post algebras. I, II,” Kibernetika, Nos. 3 and 5 (1969).
R. Pöschel, “Zur Charakterisierung spezieller superpositions abgeschlossener Funktionenklassen, die der Durchschnitt einer absteigenden Kette sind, durch invariante Relationen,” Electronische Informationsverarbeitung und Kybernetik,11, Nos. 10–12 (1975).
G. A. Burle, “Classes of a k-valued logic containing all functions of one variable,” in: Discrete Analysis [in Russian], No. 10, Novosibirsk (1967).
B. A. Romov, “Local characteristics of Post algebras. I,” Kibernetika, No. 5 (1976).
Additional information
Translated from Kibernetika, No. 4, pp. 19–22, July–August, 1978.
Rights and permissions
About this article
Cite this article
Romov, B.A. Post algebras of type F ∞4 . Cybern Syst Anal 14, 502–506 (1978). https://doi.org/10.1007/BF01069828
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069828