Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ПсковГУ
Главная
Поиск
Статистика
О проекте
Помощь
Bulletin of the section of logic
журнал
Индексирование: ERIH PLUS (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Scopus (1 января 1970 г.-), Белый список (20 октября 2022 г.-)
Период активности журнала: не указан
Другие названия журнала:
Bulletin of Section of Logic
Добавил в систему:
Зайцев Дмитрий Владимирович
ISSN:
0138-0680
Редколлегия
Зайцев Дмитрий Владимирович
,
1 октября 2011 - 1 сентября 2013
Статьи, опубликованные в журнале
Страницы: << предыдущая
1
2
следующая >>
2024
On Paracomplete Versions of Jaśkowski's Discussive Logic
Mruczek-Nasieniewska Krystyna
,
Petrukhin Yaroslav
,
Shangin Vasily
в журнале
Bulletin of the section of logic
, том 53, № 1, с. 29-61
DOI
2022
A Variant of Material Connexive Logic
Belikov A.
,
Zaitsev D.
в журнале
Bulletin of the section of logic
, том 51, № 2, с. 227-242
DOI
2022
Basic Four-Valued Systems of Cyclic Negations
Grigoriev O.
,
Zaitsev D.
в журнале
Bulletin of the section of logic
, том 51, № 4, с. 507-533
DOI
2019
Functional Completeness in CPL via Correspondence Analysis
Leszczyńska-Jasion Dorota
,
Petrukhin Yaroslav
,
Shangin Vasilyi
,
Jukiewicz Marcin
в журнале
Bulletin of the section of logic
, том 48, № 1, с. 45-76
DOI
2019
The Method of Socratic Proofs Meets Correspondence Analysis
Leszczyńska-Jasion Dorota
,
Petrukhin Yaroslav
,
Shangin Vasilyi
в журнале
Bulletin of the section of logic
, том 48, № 2, с. 99-116
DOI
2017
Four-Valued Logics BD and DM4: Expansions
Karpenko A.
в журнале
Bulletin of the section of logic
, том 46, № 1/2, с. 33-45
DOI
1998
An approach to nonstandard semantics and some problems of the foundation of logical systems
Smirnova E.D.
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 82-84
1998
Formal reconstruction of traditional syllogistic with singular and negative terms
Markin V.I.
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 77-78
1998
Functional algebraic models for non-classical set theory
Khakhanian V.Kh
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 53-54
1998
On V.A. Smirnov's systems RA and RAO
Popov V.M.
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 57-58
1998
Semantics of the restricted state-descriptions sets for quasi-matrix logic
Ivlev Yu V.
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 74-76
1998
Yet Another Semantics for First-Degree Entailment
Zaitsev D.V.
в журнале
Bulletin of the section of logic
, том 27, № 1/2, с. 63-65
1997
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lw
Karpenko A.S.
,
Popov V.M.
в журнале
Bulletin of the section of logic
, том 26, № 3, с. 112-117
1996
The class of precomplete Łukasiewicz's many-valued logics and the law of prime number generation
Karpenko A.S.
в журнале
Bulletin of the section of logic
, том 25, с. 52-57
1995
A note on expressive power of iteration
Chagrov Alexander
в журнале
Bulletin of the section of logic
, том 24, № 4, с. 234-235
1994
Sheffer's stroke for prime numbers
Karpenko A.S.
в журнале
Bulletin of the section of logic
, том 23, № 3, с. 126-129
1994
Some remarks about generalized post-completeness of extensions of K4
Chagrov Alexander
в журнале
Bulletin of the section of logic
, том 23, № 1, с. 27-29
1993
Construction of classical propositional logic
Karpenko A.S.
в журнале
Bulletin of the section of logic
, том 22, № 3, с. 92-97
1993
Four intervals of irreducible logics
Chagrov Alexander
в журнале
Bulletin of the section of logic
, том 22, № 4, с. 167-168
1992
A maximal lattice of implicational logics
Karpenko A.S.
в журнале
Bulletin of the section of logic
, том 27, с. 29-32
1990
On Halldén-completness of intermediate and modal logics
Chagov Alexander
,
Zakharyaschev Michael
в журнале
Bulletin of the section of logic
, том 19, № 1, с. 21-24
1989
On monadic logic of recursive programs with parameters
Rastsvetaev A.L.
в журнале
Bulletin of the section of logic
, том 18, № 2, с. 57-62
1988
A semantics for modal calculi
Ivlev Yu V.
в журнале
Bulletin of the section of logic
, том 17, № 3/4, с. 114-126
1988
Algebraic structure of the truth-values for Łω
Karpenko A.S.
в журнале
Bulletin of the section of logic
, том 17, № 3-4, с. 127-133
1988
Paraconsistent sequential calculi
Popov Vladimir M.
в журнале
Bulletin of the section of logic
, том 17, № 3/4, с. 148-158
Страницы: << предыдущая
1
2
следующая >>