T. D. Majstrova. Priménénié mnogoznačnoj logiki v téorii réléjnyh shém. Priménénié logiki v nauké i téhnike, Izdaté'stvo Akadémii Nauk SSSR, Moscow1960, pp. 394–414. - T. D. Maǐstrova. Application of many-valued logics in the theory of relay networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 73–89.

1972 ◽  
Vol 37 (1) ◽  
pp. 187-187 ◽  
Author(s):  
Alan Rose
Keyword(s):  
English Translation ◽  
Nauk Sssr ◽  
American Mathematical Society ◽  
Relay Networks ◽  
Mathematical Society ◽  
Akademii Nauk Sssr

S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii, Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. (English translation by E. Mendelson of O modal'nykh logikakh, aksiomatiziruyushchikh dokazuemost', Izvestiya Akademii Nauk SSSR, Seriya matematicheskaya, vol. 49 (1985), pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 (for 1985, pub. 1986), pp. 403–405. (English translation by E. Mendelson of Nearifmetichnost' istinnostnykh predikatnykh logik dokazuemosti, Doklady Academii Nauk SSSR, vol. 284 (1985), pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 (for 1986, pub. 1987), pp. 569–572. (English translation by E. Mendelson of Arifmeticheskaya slozhnost' predikatnykh logik dokazuemosti i ikh fragmentov, Doklady Akademii Nauk SSSR, vol. 288 (1986), pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 (1987), pp. 384–387. (English translation by E. Mendelson of Numericheski korrektnye logiki dokazuemosti, Doklady Akademii Nauk SSSR, vol. 290 (1986), pp. 1289–1292.)

1991 ◽  
Vol 56 (1) ◽  
pp. 329-332
Author(s):  
Vann McGee
Keyword(s):  
English Translation ◽  
Nauk Sssr ◽  
American Mathematical Society ◽  
Modal Logics ◽  
Izvestiya Akademii Nauk Sssr ◽  
Mathematical Society ◽  
Truth Predicate ◽  
Akademii Nauk Sssr ◽  
Arithmetic Complexity ◽  
Doklady Akademii Nauk Sssr
Sign in / Sign up

Export Citation Format

Share Document