Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Gorbunov, Igor Anatolievich
Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6

Number of views:
This page:189
Abstract pages:1332
Full texts:645
References:169
Candidate of physico-mathematical sciences
Birth date: 3.07.1964
E-mail:

https://www.mathnet.ru/eng/person36562
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2022
1. I. A. Gorbunov, “Theories in propositional logiń and the converse of substitution”, Izv. Vyssh. Uchebn. Zaved. Mat., 2022, no. 5,  33–41  mathnet; Russian Math. (Iz. VUZ), 66:5 (2022), 26–32
2021
2. I. A. Gorbunov, “Theories of the Classical Propositional Logic and Substitutions”, Mat. Zametki, 110:6 (2021),  856–864  mathnet  elib; Math. Notes, 110:6 (2021), 887–893  isi  scopus
2020
3. I. A. Gorbunov, “A theories of classical propositional logic and counterimages of substitutions”, Izv. Vyssh. Uchebn. Zaved. Mat., 2020, no. 1,  26–29  mathnet; Russian Math. (Iz. VUZ), 64:1 (2020), 22–24  isi  scopus
2018
4. I. A. Gorbunov, “Quasi-normal partners of modal logics K4 and GL”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 4,  98–110  mathnet  elib
2017
5. I. A. Gorbunov, “Lattices of sets and algebraic closure operator”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 4,  35–42  mathnet  elib
6. I. A. Gorbunov, “An effective criterion of deductivity of a sets of logical formulas”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 1,  95–103  mathnet  elib

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024