RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Яшин Александр Данилович

В базах данных Math-Net.Ru
Публикаций: 26
Научных статей: 25
Лекций и докладов: 1

Статистика просмотров:
Эта страница:808
Страницы публикаций:3814
Полные тексты:1353
Списки литературы:398
профессор
доктор физико-математических наук
E-mail: , , ,

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

Публикации в базе данных Math-Net.Ru
2018
1. А. Д. Яшин, А. Г. Макаров, “Иррефлексивная модальность, логика Даммета и континуальные цепи”, Сиб. матем. журн., 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
2. А. Д. Яшин, “Иррефлексивная модальность как новая логическая связка в логике Даммета”, Сиб. матем. журн., 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
2013
3. А. Д. Яшин, А. К. Кощеева, “Новые константы в суперинтуиционистской логике $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
2011
4. А. Д. Яшин, “О новых константах в двух предтабличных суперинтуиционистских логиках”, Алгебра и логика, 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
5. В. К. Захаров, А. Д. Яшин, “Конечная аксиоматизируемость локальной теории множеств”, Матем. заметки, 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
6. А. Д. Яшин, “Алгебраическая модель трёхмерной синхронной переключательной схемы”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, 1,  112–122  mathnet
2008
7. А. Д. Яшин, “Операторы типа ветвящегося времени на конечных псевдобулевых алгебрах”, Алгебра и логика, 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
8. А. Д. Яшин, “Полные по Новикову логики: метод перевода”, Алгебра и логика, 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
2003
9. А. Д. Яшин, “Классификация полных по Новикову логик с дополнительными логическими константами”, Алгебра и логика, 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
2002
10. А. Д. Яшин, “Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике”, Алгебра и логика, 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
1999
11. А. Д. Яшин, “О новой константе в интуиционистской логике высказываний”, Фундамент. и прикл. матем., 5:3 (1999),  903–926  mathnet  mathscinet  zmath
1998
12. А. Д. Яшин, “Об одном расширении логики Габбая”, Сиб. матем. журн., 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
13. А. Д. Яшин, “Модифицированная окрестностная семантика для логики Каминского”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, 2,  8–11  mathnet  mathscinet  zmath
1997
14. А. Д. Яшин, “Континуальность семейства полных по Новикову логик с новой одноместной связкой”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, 3,  22–25  mathnet  mathscinet  zmath
15. А. Д. Яшин, “О количестве новых логических констант в интуиционистском исчислении высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, 1,  7–10  mathnet  mathscinet  zmath
1996
16. А. Д. Яшин, “О полноте одной новой интуиционистской связки”, Матем. заметки, 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
17. А. Д. Яшин, “Новая регулярная константа в интуиционистской логике высказываний”, Сиб. матем. журн., 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
1994
18. А. Д. Яшин, “Логика Сметанича $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
1989
19. А. Д. Яшин, “Семантическая характеризация некоторых наборов интуиционистских логических связок”, Матем. заметки, 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
20. А. Д. Яшин, “Семантическая характеризация модальных логических связок”, Матем. заметки, 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
21. А. Д. Яшин, “Семантическая характеризация интуиционистских логических связок”, Матем. заметки, 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
1984
22. А. Д. Яшин, “Интуиционистские логические связки на линейных структурах”, Матем. заметки, 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
23. А. Д. Яшин, “Формулы Нишимуры как одноместные логические связки в элементарной теории моделей Крипке”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, 5,  12–15  mathnet  mathscinet  zmath
24. А. Д. Яшин, “Полнота интуиционистского исчисления предикатов с понятием запирания”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, 4,  67–69  mathnet  mathscinet  zmath
1982
25. А. Д. Яшин, “Интуиционистская логика предикатов со связкой “завтра””, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1982, 4,  19–22  mathnet  mathscinet  zmath

2019
26. А. П. Бельтюков, А. А. Грызлов, Д. В. Дюгуров, В. А. Зайцев, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Ю. М. Сметанин, А. Д. Яшин, “Николай Николаевич Непейвода. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298  mathnet  isi  elib

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

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