Dončénko V. V.. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana . Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow 1963, pp. 18–24.Maksimova L. L.. O sistémé aksiom isčisléniá strogoj implikacii . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 59–68.Maksimova L. L.. Formal′nyé vyvody v isčislénii strogoj implikacii . Algébra i logika, Séminar, vol. 5 no. 6 , pp. 33–39 [Book Review]

Journal of Symbolic Logic 33 (3):484-485 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270365

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A. V. Gladkij. Nékotoryé algoritmičéskié problémy dlá kontékstno-svobodnyh grammatik . Algébra i logika, Séminar, vol. 4 no. 1 , pp. 3–13. - A. V. Gladkij. Algoritmičéskaá néraspoznavaémost′ suščéstvénnoj néoprédélénnosti kontékstno-svobodnyh ázykov . Algébra i logika, Séminar, vol. 4 no. 4 , pp. 53–63. - O. S. Kulagina. Ob odnom sposobé oprédéléniá grammatičéskih ponátij na bazé téorii množéstv . Problémy kibérnétiki, vol. 1 , pp. 203–214. - A. V. Gladku. Konfiguracionnyé haraktéristiki ázykov . Problémy kibérnétiki, vol. 10 , pp. 251–260. - V. D. Lučkin. O rangah konfiguracij kontékstnosvobodnyh ázykov . Algébra i logika, Séminar, vol. 5 no. 3 , pp. 59–70. [REVIEW]Arto Salomaa - 1970 - Journal of Symbolic Logic 35 (2):339-340.
Šéstakov V. I.. 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, Moscow 1960, pp. 341–376.Šestakov V. I.. 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 Ebner Leo. American Mathematical Society translations, ser. 2 vol. 48 , pp. 45–72. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij . 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. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):108-109.
Polákov É. A.. Algébry rékursivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 1 , pp. 41–56.Polákov É. A.. O nékotoryh svojstvah algébr rékwsivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 39–57. [REVIEW]Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (2):408-409.
Zinov'év A. A.. Filosofskié problémy mnogoznačnoj logiki . Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, 139 pp. [REVIEW]David Dinsmore Comey - 1963 - Journal of Symbolic Logic 28 (3):255-256.
V. P. Tugarinov and L. É. Majstrov. Protiv idéalizma, v matématiˇéskoj logiké . Voprosy filsofii, no. 3 , pp. 331–339. - S. A. Ánovskaá. Pis'mo v rédakciú . Voprosy filsofii, no. 3 , pp. 339–342. [REVIEW]George L. Kline - 1952 - Journal of Symbolic Logic 17 (2):124-128.
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti . 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. 172–189. [REVIEW]E. M. Fels - 1965 - Journal of Symbolic Logic 30 (2):254-255.
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 , Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
Povarov G. N.. O gruppovoj invariantnosti bulévyh funkcij . Priménénié logiki v nauké i téhnike , Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340. [REVIEW]A. Ádám - 1970 - Journal of Symbolic Logic 35 (1):161-162.
M. K. Valiév. Ob odnoj téorémé G. Higmana. Russian original of XXXVII 640. Algébra i logika, vol. 7 no. 3 , pp. 9–22. - M. K. Valiév. O složnosti problémy toždéstvá dlá konéčno oprédélénnyh grupp. Russian original of XXXVII 640. Algébra i logika, vol. 8 no. 1 , pp. 5–43. - V. A. Trahténbrot. O složnosti algoritmov svédéniá v konstrukciáh Novikova-Buna. Russian original of XXXVII 640. Algébra i logika, pp. 93–128. [REVIEW]Donald J. Collins - 1972 - Journal of Symbolic Logic 37 (3):607-609.
Kuznécov O. P.. Ob odnom klassé régulárnyh sobytij . Strukturnáa téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow, 1963, pp. 100–109. [REVIEW]Arto Salomaa - 1969 - Journal of Symbolic Logic 33 (4):629-629.
P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva slov v téorii grupp . Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 44. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, 143 pp. [REVIEW]J. L. Britton - 1958 - Journal of Symbolic Logic 23 (1):50-52.
Ánovskaá S. A.. Matématičéskaá logika i osnovaniá matématiki . Matématika v SSSR za sorok lét 1917–1957, Vol. I, Obzornyé stat'i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120. [REVIEW]E. J. Cogan - 1962 - Journal of Symbolic Logic 27 (4):470-470.
Gavrilov M. A.. Sovréménnoé sostoánié téorii réléjnyh ustrojstv . Strukturnaá téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow 1963, pp. 5–73. [REVIEW]S. Rudeanu - 1969 - Journal of Symbolic Logic 34 (3):511-512.
A. A. Markov. O konstruktivnyh funkciáh . 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. 315–348. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):255-258.

Analytics

Added to PP
2013-11-03

Downloads
25 (#592,433)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references