10 results
R. V. Možarov. Ob odnom priznaké polnoty sistémy funkcij algébry logiki (On a sign of completeness of functions system of logic algebra). Avtomatika i téléméhanika, vol. 26, (1965), pp. 1644–1645. - R. V. Mozharov. One method for testing the completeness of systems of logical functions. English translation of the preceding. Automation and remote control, vol. 26 (for 1965, pub. 1966), pp. 1592–1593.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1973
-
- Article
- Export citation
V. Kudielka and P. Oliva. Complete sets of functions of two and three binary variables. IEEE transactions on electronic computers, vol. EC-15 (1966), pp. 930–931.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- June 1972
-
- Article
- Export citation
Kimio Ibuki, Kenzi Naemura, and Akihiro Nozaki. General theory of complete sets of logical functions. Electronics and communications in Japan, vol. 46 no. 7 (for 1963, pub. 1964), pp. 55–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 416-417
- Print publication:
- June 1972
-
- Article
- Export citation
Ralph M. Toms. Systems of Boolean equations. The American mathematical monthly, vol. 73 (1966), pp. 29–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- June 1967
-
- Article
- Export citation
F. M. Sioson. Equational bases of Boolean algebras. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 115–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- June 1966
-
- Article
- Export citation
Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 437–438.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
- Print publication:
- September 1965
-
- Article
- Export citation
Bolesław Sobociński. Six new sets of independent axioms for distributive lattices with O and I. Notre Dame journal of formal logic. vol. 3 (1962), pp. 187–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
- Print publication:
- September 1965
-
- Article
- Export citation
Carl Lyngholm and Wolfgang Yourgrau. A double-iteration property of Boolean functions. Notre Dame journal of formal logic, vol. 1 (1960), pp. 111–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- September 1960
-
- Article
- Export citation
W. L. Parker and B. A. Bernstein. On uniquely solvable Boolean equations. University of California publications in mathematics, n.s. vol. 3 no. 1 (1955), pp. 1–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- March 1957
-
- Article
- Export citation
Norman M. Martin. The Sheffer functions of 3-valued logic. The journal of symbolic logic, vol. 19 (1954), pp. 45–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- June 1956
-
- Article
- Export citation