Pal'chunov Dmitrii Evgen'evich

Publications in Math-Net.Ru

1. Theories of Boolean algebras with a distinguished subalgebra that do not have a prime model
   
   Dokl. RAN. Math. Inf. Proc. Upr., 526 (2025),  24–29
2. A superatomic Boolean algebra with a distinguished subalgebra whose theory lacks simple models
   
   Sibirsk. Mat. Zh., 66:3 (2025),  506–522
3. Model theory of subject domains. II
   
   Algebra Logika, 61:4 (2022),  500–510
4. Model theory of subject domains. I
   
   Algebra Logika, 61:2 (2022),  239–250
5. The theories of superatomic boolean algebras with distinguished subalgebra which lack countably saturated models
   
   Sibirsk. Mat. Zh., 61:3 (2020),  654–668
6. The Development of Automated Methods of Generation of Official Documents in Natural Language
   
   Novosibirsk State University Journal of Information Technologies, 15:3 (2017),  79–89
7. Semi-Automated Methods of Transforming Sentences from Natural Language into Quantifier-Free Formulas of Predicate Logic
   
   Novosibirsk State University Journal of Information Technologies, 15:3 (2017),  49–63
8. The Development of Ontological Model of Tariffs and Services of Mobile Operator, Based on Logically Complete Definitions of Concepts
   
   Novosibirsk State University Journal of Information Technologies, 15:2 (2017),  34–46
9. Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
   
   Sibirsk. Mat. Zh., 57:6 (2016),  1361–1375
10. Fuzzy logics and fuzzy model theory
    
    Algebra Logika, 54:1 (2015),  109–118
11. Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
    
    Sibirsk. Mat. Zh., 56:3 (2015),  617–628
12. Automorphisms of Boolean algebras definable by fixed elements
    
    Algebra Logika, 51:5 (2012),  623–637
13. Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra
    
    Algebra Logika, 50:6 (2011),  822–847
14. Fuzzy Algebraic Systems
    
    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 10:3 (2010),  76–93
15. Definability of Sentences in the Language of Boolean Algebras with Distinguished Ideals
    
    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:2 (2008),  91–104
16. Рефлексирующие программные системы
    
    Sib. Zh. Ind. Mat., 4:1 (2001),  22–28
17. The Lindenbaum-Tarski algebra of Boolean algebras with distinguished ideals
    
    Algebra Logika, 34:1 (1995),  88–116
18. The Lindenbaum-Tarski algebra of a class of Boolean algebras with a distinguished ideal
    
    Algebra Logika, 33:2 (1994),  179–210
19. Theories of Boolean algebras with distinguished ideals which have no prime model
    
    Trudy Inst. Mat. SO RAN, 25 (1993),  104–132
20. Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals
    
    Trudy Inst. Mat. SO RAN, 25 (1993),  82–103
21. Direct summands of Boolean algebras with distinguished ideals
    
    Algebra Logika, 31:5 (1992),  499–537
22. Finitely axiomatizable Boolean algebras with distinguished ideals
    
    Algebra Logika, 26:4 (1987),  435–455
23. On the undecidability of theories of Boolean algebras with a distinguished ideal
    
    Algebra Logika, 25:3 (1986),  326–346


24. Evgenii Andreevich Palyutin (1945–2018)
    
    Sib. Èlektron. Mat. Izv., 16 (2019),  1–10
25. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
26. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)
    
    Sibirsk. Mat. Zh., 52:5 (2011),  959–961