Яшин Александр Данилович

Публикации в базе данных Math-Net.Ru

1. Иррефлексивная модальность на цепи типа $\omega$ и полнота по П. С. Новикову
   
   Алгебра и логика, 59:6 (2020),  702–718
2. Иррефлексивная модальность, логика Даммета и континуальные цепи
   
   Сиб. матем. журн., 59:2 (2018),  468–476
3. Иррефлексивная модальность как новая логическая связка в логике Даммета
   
   Сиб. матем. журн., 55:1 (2014),  228–234
4. Новые константы в суперинтуиционистской логике $L2$
   
   Матем. заметки, 94:6 (2013),  918–932
5. О новых константах в двух предтабличных суперинтуиционистских логиках
   
   Алгебра и логика, 50:2 (2011),  246–267
6. Конечная аксиоматизируемость локальной теории множеств
   
   Матем. заметки, 90:1 (2011),  70–86
7. Алгебраическая модель трёхмерной синхронной переключательной схемы
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 1,  112–122
8. Операторы типа ветвящегося времени на конечных псевдобулевых алгебрах
   
   Алгебра и логика, 47:4 (2008),  509–519
9. Полные по Новикову логики: метод перевода
   
   Алгебра и логика, 43:3 (2004),  364–378
10. Классификация полных по Новикову логик с дополнительными логическими константами
    
    Алгебра и логика, 42:3 (2003),  366–383
11. Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике
    
    Алгебра и логика, 41:1 (2002),  104–113
12. О новой константе в интуиционистской логике высказываний
    
    Фундамент. и прикл. матем., 5:3 (1999),  903–926
13. Об одном расширении логики Габбая
    
    Сиб. матем. журн., 39:1 (1998),  224–235
14. Модифицированная окрестностная семантика для логики Каминского
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  8–11
15. Континуальность семейства полных по Новикову логик с новой одноместной связкой
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 3,  22–25
16. О количестве новых логических констант в интуиционистском исчислении высказываний
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 1,  7–10
17. О полноте одной новой интуиционистской связки
    
    Матем. заметки, 60:3 (1996),  423–433
18. Новая регулярная константа в интуиционистской логике высказываний
    
    Сиб. матем. журн., 37:6 (1996),  1413–1432
19. Логика Сметанича $T^{\Phi}$ и два определения новой интуиционистской связки
    
    Матем. заметки, 56:1 (1994),  135–142
20. Семантическая характеризация некоторых наборов интуиционистских логических связок
    
    Матем. заметки, 45:5 (1989),  103–113
21. Семантическая характеризация модальных логических связок
    
    Матем. заметки, 40:4 (1986),  519–526
22. Семантическая характеризация интуиционистских логических связок
    
    Матем. заметки, 38:1 (1985),  157–166
23. Интуиционистские логические связки на линейных структурах
    
    Матем. заметки, 35:5 (1984),  663–675
24. Формулы Нишимуры как одноместные логические связки в элементарной теории моделей Крипке
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 5,  12–15
25. Полнота интуиционистского исчисления предикатов с понятием запирания
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4,  67–69
26. Интуиционистская логика предикатов со связкой “завтра”
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1982, № 4,  19–22


27. Николай Николаевич Непейвода. К юбилею
    
    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298