M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.

J. A. Brzozowski

doi:10.2307/2272791

M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.

Journal of Symbolic Logic ◽

10.2307/2272791 ◽

1972 ◽

Vol 37 (3) ◽

pp. 620-620

Author(s):

J. A. Brzozowski

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Regular Expressions ◽

Akademii Nauk Sssr

B. G. Mirkin. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 (1966), pp. 113–119. - B. G. Mirkin. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 (Sept.-Oct. 1966), pp. 110–116.

Journal of Symbolic Logic ◽

10.2307/2272532 ◽

1971 ◽

Vol 36 (4) ◽

pp. 694-694

Author(s):

J. A. Brzozowski

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Regular Expressions ◽

Akademii Nauk Sssr

F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.

Journal of Symbolic Logic ◽

10.2307/2270799 ◽

1967 ◽

Vol 32 (3) ◽

pp. 396-396

Author(s):

D. Nelson

Keyword(s):

English Translation ◽

Propositional Logic ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Ú. I. Žuravlév. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 (1957), pp. 264–267. - Iu. I. Zhuravlev. On the separability of subsets of the vertices of an n-dimensional unit cube. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1958, 6 pp.

Journal of Symbolic Logic ◽

10.2307/2964791 ◽

1959 ◽

Vol 24 (2) ◽

pp. 188-189

Author(s):

Richard C. Jeffrey

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Unit Cube ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Dimensional Unit

G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.

Journal of Symbolic Logic ◽

10.2307/2269979 ◽

1971 ◽

Vol 36 (3) ◽

pp. 524-525 ◽

Cited By ~ 2

Author(s):

J. van Heijenoort

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Predicate Calculus ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 (1971), pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 (1971), pp. 249–254.

Journal of Symbolic Logic ◽

10.2307/2272767 ◽

1972 ◽

Vol 37 (3) ◽

pp. 607-607

Author(s):

Ann S. Ferebee

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Prime Numbers ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Diophantine Representation

S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 (1963), pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 (1964), pp. 1292–1295.

Journal of Symbolic Logic ◽

10.2307/2270787 ◽

1967 ◽

Vol 32 (3) ◽

pp. 391-392

Author(s):

E. M. Fels

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 814–817.

Journal of Symbolic Logic ◽

10.2307/2273075 ◽

1973 ◽

Vol 38 (3) ◽

pp. 527-527

Author(s):

Richard E. Ladner

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 (1961), pp. 714–717.

Journal of Symbolic Logic ◽

10.2307/2269677 ◽

1965 ◽

Vol 30 (3) ◽

pp. 394-394

Author(s):

Verena H. Dyson

Keyword(s):

Finite Groups ◽

English Translation ◽

Elementary Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77.

Journal of Symbolic Logic ◽

10.2307/2273568 ◽

1983 ◽

Vol 48 (2) ◽

pp. 488-495 ◽

Cited By ~ 2

Author(s):

R. A. Bull

Keyword(s):

Modal Logic ◽

English Translation ◽

Nauk Sssr ◽

Symbolic Logic ◽

Relational Semantics ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Propositional Modal Logic ◽

Relational Frame ◽

Incompleteness Theorems

V. I. Šéstakov. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, pp. 341–376. - V. I. Šestakov. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.

Journal of Symbolic Logic ◽

10.2307/2272590 ◽

1972 ◽

Vol 37 (1) ◽

pp. 187-187

Author(s):

Alan Rose

Keyword(s):

English Translation ◽

Nauk Sssr ◽

American Mathematical Society ◽

Propositional Calculus ◽

Mathematical Society ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact