Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Яшин Александр Данилович
В базах данных Math-Net.Ru
Публикаций: 27
Научных статей: 26
Лекций и докладов: 1

Статистика просмотров:
Эта страница:1014
Страницы публикаций:5969
Полные тексты:2244
Списки литературы:556
профессор
доктор физико-математических наук
E-mail: , , ,

https://www.mathnet.ru/rus/person19692
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/206245

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. А. Д. Яшин, “Иррефлексивная модальность на цепи типа $\omega$ и полнота по П. С. Новикову”, Алгебра и логика, 59:6 (2020),  702–718  mathnet; A. D. Yashin, “Irreflexive modality on a chain of type $\omega$ and Novikov completeness”, Algebra and Logic, 59:6 (2021), 471–482  isi  scopus
2018
2. А. Д. Яшин, А. Г. Макаров, “Иррефлексивная модальность, логика Даммета и континуальные цепи”, Сиб. матем. журн., 59:2 (2018),  468–476  mathnet  elib; A. D. Yashin, A. G. Makarov, “Irreflexive modality, the Dummett logic, and continual chains”, Siberian Math. J., 59:2 (2018), 368–374  isi  scopus
2014
3. А. Д. Яшин, “Иррефлексивная модальность как новая логическая связка в логике Даммета”, Сиб. матем. журн., 55:1 (2014),  228–234  mathnet  mathscinet; A. D. Yashin, “Irreflexive modality as a new logical connective in the Dummett logic”, Siberian Math. J., 55:1 (2014), 185–190  isi  scopus 3
2013
4. А. Д. Яшин, А. К. Кощеева, “Новые константы в суперинтуиционистской логике $L2$”, Матем. заметки, 94:6 (2013),  918–932  mathnet  mathscinet  zmath  elib; A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic $L2$”, Math. Notes, 94:6 (2013), 938–950  isi  elib  scopus 1
2011
5. А. Д. Яшин, “О новых константах в двух предтабличных суперинтуиционистских логиках”, Алгебра и логика, 50:2 (2011),  246–267  mathnet  mathscinet  zmath; A. D. Yashin, “New constants in two pretabular superintuitionistic logics”, Algebra and Logic, 50:2 (2011), 171–186  isi  scopus 8
6. В. К. Захаров, А. Д. Яшин, “Конечная аксиоматизируемость локальной теории множеств”, Матем. заметки, 90:1 (2011),  70–86  mathnet  mathscinet; V. K. Zakharov, A. D. Yashin, “Finite Axiomatizability of Local Set Theory”, Math. Notes, 90:1 (2011), 64–78  isi  scopus
2010
7. А. Д. Яшин, “Алгебраическая модель трёхмерной синхронной переключательной схемы”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 1,  112–122  mathnet
2008
8. А. Д. Яшин, “Операторы типа ветвящегося времени на конечных псевдобулевых алгебрах”, Алгебра и логика, 47:4 (2008),  509–519  mathnet  mathscinet  zmath; A. D. Yashin, “Branching-time type operators on finite pseudo-Boolean algebras”, Algebra and Logic, 47:4 (2008), 289–294  isi  scopus
2004
9. А. Д. Яшин, “Полные по Новикову логики: метод перевода”, Алгебра и логика, 43:3 (2004),  364–378  mathnet  mathscinet  zmath; A. D. Yashin, “Novikov Complete Logics: Translation Techniques”, Algebra and Logic, 43:3 (2004), 205–214  scopus 1
2003
10. А. Д. Яшин, “Классификация полных по Новикову логик с дополнительными логическими константами”, Алгебра и логика, 42:3 (2003),  366–383  mathnet  mathscinet  zmath; A. D. Yashin, “Classification of Novikov Complete Logics with Extra Logical Constants”, Algebra and Logic, 42:3 (2003), 207–216  scopus 4
2002
11. А. Д. Яшин, “Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике”, Алгебра и логика, 41:1 (2002),  104–113  mathnet  mathscinet  zmath; A. D. Yashin, “Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics”, Algebra and Logic, 41:1 (2002), 59–64  scopus 1
1999
12. А. Д. Яшин, “О новой константе в интуиционистской логике высказываний”, Фундамент. и прикл. матем., 5:3 (1999),  903–926  mathnet  mathscinet  zmath 7
1998
13. А. Д. Яшин, “Об одном расширении логики Габбая”, Сиб. матем. журн., 39:1 (1998),  224–235  mathnet  mathscinet  zmath; A. D. Yashin, “On an extension of Gabbay's logic”, Siberian Math. J., 39:1 (1998), 198–208  isi
14. А. Д. Яшин, “Модифицированная окрестностная семантика для логики Каминского”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  8–11  mathnet  mathscinet  zmath 1
1997
15. А. Д. Яшин, “Континуальность семейства полных по Новикову логик с новой одноместной связкой”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 3,  22–25  mathnet  mathscinet  zmath 2
16. А. Д. Яшин, “О количестве новых логических констант в интуиционистском исчислении высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 1,  7–10  mathnet  mathscinet  zmath
1996
17. А. Д. Яшин, “О полноте одной новой интуиционистской связки”, Матем. заметки, 60:3 (1996),  423–433  mathnet  mathscinet  zmath; A. D. Yashin, “On the completeness of a new intuitionistic connective”, Math. Notes, 60:3 (1996), 313–320  isi 2
18. А. Д. Яшин, “Новая регулярная константа в интуиционистской логике высказываний”, Сиб. матем. журн., 37:6 (1996),  1413–1432  mathnet  mathscinet  zmath; A. D. Yashin, “A new regular constant in intuitionistic propositional logic”, Siberian Math. J., 37:6 (1996), 1242–1258  isi 4
1994
19. А. Д. Яшин, “Логика Сметанича $T^{\Phi}$ и два определения новой интуиционистской связки”, Матем. заметки, 56:1 (1994),  135–142  mathnet  mathscinet  zmath; A. D. Yashin, “The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective”, Math. Notes, 56:1 (1994), 745–750  isi 4
1989
20. А. Д. Яшин, “Семантическая характеризация некоторых наборов интуиционистских логических связок”, Матем. заметки, 45:5 (1989),  103–113  mathnet  mathscinet  zmath; A. D. Yashin, “Semantic characterization of certain sets of intuitionistic logical connectives”, Math. Notes, 45:5 (1989), 420–428  isi
1986
21. А. Д. Яшин, “Семантическая характеризация модальных логических связок”, Матем. заметки, 40:4 (1986),  519–526  mathnet  mathscinet  zmath; A. D. Yashin, “The semantic characterization of modal logical connectives”, Math. Notes, 40:4 (1986), 799–803  isi
1985
22. А. Д. Яшин, “Семантическая характеризация интуиционистских логических связок”, Матем. заметки, 38:1 (1985),  157–166  mathnet  mathscinet  zmath; A. D. Yashin, “Semantic characterization of intuitionistic logical connectives”, Math. Notes, 38:1 (1985), 600–606  isi 1
1984
23. А. Д. Яшин, “Интуиционистские логические связки на линейных структурах”, Матем. заметки, 35:5 (1984),  663–675  mathnet  mathscinet  zmath; A. D. Yashin, “Intuitionistic logical connectives on linear structures”, Math. Notes, 35:5 (1984), 348–355  isi
24. А. Д. Яшин, “Формулы Нишимуры как одноместные логические связки в элементарной теории моделей Крипке”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 5,  12–15  mathnet  mathscinet  zmath
25. А. Д. Яшин, “Полнота интуиционистского исчисления предикатов с понятием запирания”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4,  67–69  mathnet  mathscinet  zmath
1982
26. А. Д. Яшин, “Интуиционистская логика предикатов со связкой “завтра””, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1982, № 4,  19–22  mathnet  mathscinet  zmath
2019
27. А. П. Бельтюков, А. А. Грызлов, Д. В. Дюгуров, В. А. Зайцев, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Ю. М. Сметанин, А. Д. Яшин, “Николай Николаевич Непейвода. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298  mathnet  zmath  isi  elib  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Константа Сметанича и метод конечной канонической модели
А. Д. Яшин
Международная школа-семинар "Синтаксис и семантика логических систем"

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024