N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.

E. M. Fels

doi:10.2307/2270438

N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.

Journal of Symbolic Logic ◽

10.2307/2270438 ◽

1964 ◽

Vol 29 (2) ◽

pp. 109-109

Author(s):

E. M. Fels

Keyword(s):

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr

Download Full-text

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

Download Full-text

V. A. Ánkov. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 (1968), pp. 208–211. - V. A. Jankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 1 (for 1968, pub. 1969), pp. 205–208.

Journal of Symbolic Logic ◽

10.2307/2272085 ◽

1973 ◽

Vol 38 (2) ◽

pp. 331-332

Author(s):

J. G. Anderson

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr ◽

Classical Calculus

Download Full-text

V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij.Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1203–1204.

Journal of Symbolic Logic ◽

10.1017/s0022481200092495 ◽

1970 ◽

Vol 35 (1) ◽

pp. 138-139

Author(s):

Gene F. Rose

Keyword(s):

English Translation ◽

Propositional Logic ◽

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Propositional Calculi ◽

The Relationship

Download Full-text

V. B. Šehtman. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 (for 1978, pub. 1979), pp. 656–660. (English translation by B. F. Wells of Nérazréšimoé supérintuicionistskoé isčislénié vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 240(1978), pp. 549–552.) - S. V. Popov. Nondecidable intermediate calculus. Algebra and logic, vol. 20 (1982), pp. 424–461. (English translation of Nérazréšimoé proméžutočnoé isčislénié, Algébra i logika, vol. 20 (1981), pp. 654-706.)

Journal of Symbolic Logic ◽

10.2307/2274001 ◽

1985 ◽

Vol 50 (4) ◽

pp. 1081-1083

Author(s):

Alasdair Urquhart

Keyword(s):

English Translation ◽

Algebra I ◽

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

N. N. Vorob'év. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém (The problem of deducibility in the constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 689–692.

Journal of Symbolic Logic ◽

10.2307/2267412 ◽

1953 ◽

Vol 18 (3) ◽

pp. 258-258

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr ◽

Strong Negation ◽

Doklady Akademii Nauk Sssr

Download Full-text

N. N. Vorob'év. Konstruktivnoé isčislénié vyskazyvanij s sil'nym otricaniém (A constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 465–468.

Journal of Symbolic Logic ◽

10.2307/2267411 ◽

1953 ◽

Vol 18 (3) ◽

pp. 257-258

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr ◽

Strong Negation ◽

Doklady Akademii Nauk Sssr

Download Full-text

M. I. Slukhovskii. Russkaia biblioteka XVI–XVII vv. [The Russian Library in the 16th and 17th Centuries] Moscow: Izdatel'stvo “Kniga.” 1973. Pp. 252 and S. P. Luppov. Knigd v Rossii v pervoi chetverti XVIII veka [The Book in Russia in the First Quarter of the 18th Century]. (Akademiia Nauk SSSR, Ordena Trudovogo Krasnogo Znameni Biblioteka Akademii Nauk SSSR.) Leningrad: Izdatel'stvo “Nauka.” 1973. Pp. 372

The American Historical Review ◽

10.1086/ahr/81.1.183-a ◽

1976 ◽

Keyword(s):

18Th Century ◽

Nauk Sssr ◽

Akademii Nauk Sssr

Download Full-text

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

Download Full-text

Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.

Journal of Symbolic Logic ◽

10.2307/2270736 ◽

1970 ◽

Vol 35 (3) ◽

pp. 470-472

Author(s):

Andrzej Mostowski

Keyword(s):

Standard Model ◽

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Axiomatic Set Theory

Download Full-text

Ú. 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

Download Full-text