×

Maximal subalgebras of algebras of partial multivalued logic functions. (English. Russian original) Zbl 0453.03068

Cybernetics 16, 31-41 (1980); translation from Kibernetika 1980, No. 1, 28-36 (1980).

MSC:

03G25 Other algebras related to logic
03B50 Many-valued logic
Full Text: DOI

References:

[1] E. Post, ?Introduction to a general theory of elementary propositions,? Am. J. Math.,43 (1921). · JFM 48.1122.01
[2] S. V. Yablonskii, ?Functional constructions in k-valued logic,? Tr. Steklov Mat. Inst. Akad. Nauk SSSR,51 (1958).
[3] I. Rosenberg, ?��ber die funktionale Vollständigkeit in den mehrwertigen Logiken,? Rozpravy Ceskoslovenske Akademie Ved.,80, 4 Praha (1970). · Zbl 0199.30201
[4] R.-M. V. Freivald, ?Functional completeness for logic algebra functionsnot defined everywhere,? in Discrete Analysis [in Russian], No. 8, Novosibirsk (1966).
[5] B. A. Romov, ?On the formulability of predicates in a finite model,? Kibernetika, Kiev, No. 1 (1971).
[6] V. G. Bodnarchuk, L. A. Kaluzhnin, V. N. Kotov, and B. A. Romov, ?Galois theory for Post algebras I, II,? Kibernetika, Kiev, Nos. 3, 5 (1969). · Zbl 0212.31802
[7] G. A. Burle, ?Classes of k-valued logic containing all functions of one variable,? in: Discrete Analysis [in Russian], No. 10, Novosibirsk (1967). · Zbl 0147.25304
[8] J. C. Muzio, ?Some large classes of n-valued functions,? Proc. Cambr. Phil. Soc.,74, (1973). · Zbl 0266.02010
[9] I. Rosenberg, ?Completeness properties of multiple-valued logic algebras,? in: Computer Science and Multiple-Valued Logic. Theory and Applications, North-Holland (1977).
[10] T. Higuchi and M. Kameyama, ?Static-hazard-free T-gate for ternary memory element and its application to ternary counters,? Proc. VI Int. Symp. Multiple-Valued Logic, Ithaca, New York (1976). · Zbl 0368.94033
[11] N. N. Aizenberg and Yu. L. Ivas’kiv, Multivalued Threshold Logic [in Russian], Naukova Dumka, Kiev (1977).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.