Search Results - "Bochvar, I. A."

Main results of the development of dispersion type IMF at A.A. Bochvar Institute by Savchenko, A.M., Vatulin, A.V., Glagovsky, E.M., Konovalov, I.I., Morozov, A.V., Kozlov, A.V., Ershov, S.A., Mishunin, V.A., Kulakov, G.V., Sorokin, V.I., Simonov, A.P., Petrova, Z.N., Fedotov, V.V.

“…At A.A. Bochvar Institute a novel conception of IMF to burn civil and weapon’s grade Pu is currently accepted…”
Get full text

Dismantling and decontamination of large-sized radiation-contaminated equipment during Research Building B decommissioning at the Bochvar Institute site by Kuznetsov, Andrey Yu, Azovskov, Mikhail E., Belousov, Sergey V., Vereshchagin, Ilya I., Efremov, Alexey E., Khlebnikov, Sergey V.

“…The article presents the results of work on dismantling the large installation equipment of Research Building B at the Bochvar High-technology Research Institute of Inorganic Materials (Bochvar Institute…”
Get full text

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics by Coniglio, Marcelo E., Corbalán, María I.

“…) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented. These calculi are obtained by restricting in an appropriate way the application of the rules of a sequent calculus for classical propositional logic CPL…”
Get full text

On the structure of Bochvar algebras by Bonzio, Stefano, Baldi, Michele Pra

“…Bochvar algebras consist of the quasivariety BCA playing the role of equivalent algebraic semantics for Bochvar (external…”
Get full text

Beryllium Technology at Bochvar All-Russia Research Institute for Inorganic Materials: Past, Present, Future by Semenov, A. A.

“…The work on beryllium technologies performed at VNIINM over the years of its existence is described. The role of VNIINM in the creation and re-creation of the…”
Get full text

Research at Bochvar All-Russia Research Institute for Inorganic Materials: Isotopes of Light Elements by Ivanov, V. B., Semenov, A. A., Lizunov, A. V.

“…The domestic technologies for the isotopes of light elements, first and foremost, tritium and deuterium, are briefly reviewed and VNIINM’s role in their…”
Get full text

Investigation of Precipitates and Deposits in the Special Piping in Building B at the Bochvar All-Russia Research Institute for Inorganic Materials by Kuznetsov, A. Yu, Belousov, S. V., Savin, S. K., Azovskov, M. E., Khlebnikov, S. V., Efremov, A. E., Vereshchagin, I. I., Shirokov, S. S.

“…The radiation status of the special ventilation and piping systems is investigated as part of the work on the preparation of building B at the Bochvar All-Russia Research Institute for Inorganic…”
Get full text

Evaluation of the Impact of Research Building B at the Bochvar All-Russia Research Institute for Inorganic Materials on the Subsoil During Decommissioning by Antsiferova, E. Yu, Kuznetsov, A. Yu, Kochergina, N. V.

“…The impact of research building B at the Bochvar All-Russia Research Institute for Inorganic Materials (VNIINM) on the subsoil (geological medium) is evaluated…”
Get full text

Bochvar All-Russia research institute for inorganic materials--70th anniversary: development of materials and fuel elements for propulsion reactors and small nuclear power plants: experience and prospects by Kulakov, G.V, Vatulin, A.V, Ershov, S.A, Kosaurov, A.A, Konovalov, Yu. V, Morozov, A.V, Sorokin, V.I, Fedotov, V.V

“…The primary stages in the develop of disperse fuel elements for the cores of propulsion reactors, floating power-generating units, and small- and medium-size…”
Get full text

A Logical Modeling of Severe Ignorance by Bonzio, S., Fano, V., Graziani, P., Pra Baldi, M.

“…In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of…”
Get full text

Semantical analysis of weak Kleene logics by Ciuni, Roberto, Carrara, Massimiliano

“…This paper presents a semantical analysis of the Weak Kleene Logics and from the tradition of Bochvar and Halldén…”
Get full text

Finite Hilbert Systems for Weak Kleene Logics by Greati, Vitor, Marcelino, Sérgio, Rivieccio, Umberto

“… Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar–Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones…”
Get full text

Main results of the development of dispersion type IMF at A.A. Bochvar Institute by SAVCHENKO, A. M, VATULIN, A. V, SIMONOV, A. P, PETROVA, Z. N, FEDOTOV, V. V, GLAGOVSKY, E. M, KONOVALOV, I. I, MOROZOV, A. V, KOZLOV, A. V, ERSHOV, S. A, MISHUNIN, V. A, KULAKOV, G. V, SOROKIN, V. I

Get full text

Recent progress of low temperature superconducting materials at Bochvar Institute by Potanina, L.V., Shikov, A.K., Vedernikov, G.P., Vorobieva, A.E., Pantsyrnyi, V.I., Gubkin, I.N., Sylaev, A.G., Plashkin, E.I., Dergunova, E.A., Soudjev, S.V.

“…), different NbTi and Nb 3Sn strands have been developed and manufactured at Bochvar Institute (VNIINM…”
Get full text

Decontamination and decommissioning of radioactively contaminated rooms and equipment at the Bochvar All-Russia Research Institute of Standardization in Machine Engineering by Poluektov, P. P., Sukhanov, L. P., Chernikov, M. A., Chizhov, A. A., Felitsyn, M. A.

“…Work on decontaminating and decommissioning radioactively contaminated rooms and equipment has been conducted at the All-Russia Research Institute of…”
Get full text

Development of Materials and Fuel Elements for Propulsion Reactors and Small Nuclear Power Plants: Experience and Prospects by Kulakov, G. V., Vatulin, A. V., Ershov, S. A., Kosaurov, A. A., Konovalov, Yu. V., Morozov, A. V., Sorokin, V. I., Fedotov, V. V.

“…The primary stages in the develop of disperse fuel elements for the cores of propulsion reactors, floating power-generating units, and small- and medium-size…”
Get full text

Sequent Calculi for the classical fragment of Bochvar and Halld\'en's Nonsense Logics by Coniglio, Marcelo E, Corbalán, María I

“… (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halld\'en, are presented…”
Get full text

Sixtieth anniversary of the A. A. Bochvar All-Russia Research Institute for Inorganic Materials (Federal State Unitary Enterprise)

Get full text

DECONTAMINATION AND DECOMMISSIONING OF RADIOACTIVELY CONTAMINATED ROOMS AND EQUIPMENT AT THE BOCHVAR ALL-RUSSIA RESEARCH INSTITUTE OF STANDARDIZATION IN MACHINE ENGINEERING by POLUEKTOV, P. P, SUKHANOV, L. P, CHERNIKOV, M. A, CHIZHOV, A. A, FELITSYN, M. A

Get full text

Radiation dose received by a researcher in a critical assembly accident at Russian Federation Nuclear Center/All-Russian Scientific-Tesearch Institute of experimental physics (RFYaTs-Vniéf) in sarov by Khodalev, G F, Tarasova, EYu, Zhitnik, A K, Kalashnikov, M V, Tsvetkov, VI, Kleshchenko, ED, Bochvar, IA, Levochkin, F K

“…(ProQuest: Abstract omitted; see image)[PUBLICATION ABSTRACT]…”
Get full text