Šé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 [Book Review]

Journal of Symbolic Logic 37 (1):187-187 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272590

Links

PhilArchive



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

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

Review: V. I. Sestakov, Leo Ebner, A Dual Arithmetic Interpretation of the 3-Valued Propositional Calculus Utilized in the Simulation of This Calculus by Relay-Contact Networks. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others . Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347 by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 , pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. . Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp. [REVIEW]Zdzisław Pawlak - 1956 - Journal of Symbolic Logic 21 (3):331-331.
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.
Šéstakov V. I.. Predstavlénié haraktéristiçeskih funkcij prédložénif posrédstvom vyražénij, réalizuémyh réléjno-kontaktnymi shémami . Russian with English summary. Izvéstiá Akadémii Nauk SSSR , Sérià matématiěskaá , vol. 10 , pp. 529–554. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (4):135-135.
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. [REVIEW]Alan Ross Anderson - 1968 - Journal of Symbolic Logic 33 (3):484-485.
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.
Ostianu V. M.. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 , pp. 827–830.Ostianu V. M.. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (1):76-76.
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
Šéstakov V. I.. Modélirovanié opéracij isčisléniá prédložénij posrédstvom prostéjših čétyréhpolúsnyh shém . Vyčislitél'naá matématika i vyčislitél'naá téhnika, no. 1 , pp. 56–89. [REVIEW]Zdzisław Pawlak - 1957 - Journal of Symbolic Logic 22 (3):332-333.
Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
Cétlin M. L.. Priménénié matričnogo isčislénií k sintézu réléjno-kontaktnyh shém . Doklady Akadémii Nauk SSSR, vol. 86 , pp. 525–528. [REVIEW]Andrzej Rowicki - 1964 - Journal of Symbolic Logic 29 (1):51-51.
G. N. Povarov. Matématiko-logičéskoe isslédovanié sintéza kontaktnyh shém s odnim vhodom i k vyhodami . A reprint of XXXV 175 with minor corrections. Logičéskié isslédovaniá, Sbornik statéj, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 379–405. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (2):343-344.
A. A. Markov. Téoriá algorifmov . Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
Maslov S. Ú.. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 779–782.Maslov S. Ju.. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by Gdss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1708–1711. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):527-527.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,031,150)

6 months
2 (#1,185,463)

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