Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Journal of Symbolic Logic
журнал
Индексирование: ERIH PLUS (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), JCR (1 января 1970 г.-), Scopus (1 января 1970 г.-)
Период активности журнала: не указан
Другие названия журнала:
J. Symbolic Logic
Издательство:
Association for Symbolic Logic
Местоположение издательства:
United States
ISSN:
0022-4812 (Print)
Статьи, опубликованные в журнале
2020
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES
ITSYKSON DMITRY
,
KNOP ALEXANDER
,
ROMASHCHENKO ANDREI
,
SOKOLOV DMITRY
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 85, № 2, с. 632-670
DOI
2019
Axiomatization of provable n-provability
Kolmakov E.A.
,
Beklemishev L.D.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 84, № 2, с. 849-869
DOI
2019
Definable minimal collapse functions at arbitrary projective levels
Kanovei Vladimir
,
Lyubetsky Vassily
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 84, № 1, с. 266-289
DOI
2018
Minimal axiomatic frameworks for definable hyperreals with transfer
Herzberg Frederik S.
,
Kanovei Vladimir
,
Katz Mikhail
,
Lyubetsky Vassily
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 83, № 1, с. 385-391
DOI
2007
The basic intuitionistic logic of proofs
Artemov Serge
,
Iemhoff Rosalie
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 72, № 2, с. 439-451
DOI
2003
On the induction schema for decidable predicates
Beklemishev L.D.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 68, № 1, с. 17-34
DOI
1997
Product-free Lambek calculus and context-free grammars
Pentus Mati
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 62, № 2, с. 648-660
DOI
1995
Raymond M Smullyan. Gödel's incompleteness theorems
Uspensky V.
,
Plisko V.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 60, № 4, с. 1320-1324
DOI
1994
On first-order theories with provability operator
Artëmov Sergei
,
Montagna Franco
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 59, № 4, с. 1139-1153
DOI
1993
The Sahlqvist formulas are not so elementary
Chagrov Alexander
,
Zakharyaschev Michael
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 58, № 3, с. 1137-1138
DOI
1993
The undecidability of the disjunction property of propositional logics and other related problems
Chagrov Alexander
,
Zakharyaschev Michael
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 58, № 3, с. 967-1002
DOI
1993
Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables
Gabbay Dov M.
,
Shehtman Valentin
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 58, № 3, с. 800-823
DOI
1992
Independence of the collection on the double complement and vice versa in set theory (Abstracts of VIII Latin American conference of mathematical logic)
Khakhanian V.Kh
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 57, № 1, с. 378
DOI
1992
Kolmogorov and mathematical logic
Uspensky Vladimir A.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 57, № 2, с. 385-412
DOI
1991
An undecidable problem in correspondence theory
Chagrova Lilia
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 56, № 4, с. 1261-1272
DOI
1990
Finite Kripke models and predicate logics of provability
Artemov Sergei
,
Dzhaparidze Giorgie
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 55, № 3, с. 1090-1098
DOI