RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Скворцов Дмитрий П

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

Статистика просмотров:
Эта страница:251
Страницы публикаций:548
Полные тексты:160
Списки литературы:21
E-mail:

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

Публикации в базе данных Math-Net.Ru
2003
1. Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Тр. МИАН, 242 (2003),  77–97  mathnet  mathscinet  zmath; N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Proc. Steklov Inst. Math., 242 (2003), 67–85
1979
2. Л. Л. Максимова, Д. П. Скворцов, В. Б. Шехтман, “Невозможность конечной аксиоматизации логики финитных задач Медведева”, Докл. АН СССР, 245:5 (1979),  1051–1054  mathnet  mathscinet  zmath
3. Д. П. Скворцов, “Логика бесконечных задач и модели Крипке на атомных полурешетках множеств”, Докл. АН СССР, 245:4 (1979),  798–801  mathnet  mathscinet  zmath
4. Д. П. Скворцов, “О реализуемости и финитной общезначимости пропозициональных формул с ограничениями на вхождения импликации”, Матем. заметки, 25:6 (1979),  919–931  mathnet  mathscinet  zmath; D. P. Skvortsov, “Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication”, Math. Notes, 25:6 (1979), 474–481  isi
1976
5. Д. П. Скворцов, “О вхождении импликации в финитно общезначимые интуиционистски недоказуемые формулы логики высказываний”, Матем. заметки, 20:3 (1976),  383–390  mathnet  mathscinet  zmath; D. P. Skvortsov, “The occurrence of an implication in finitely valid, intuitively improvable formulas of propositional logic”, Math. Notes, 20:3 (1976), 771–775

Доклады и лекции в базе данных Math-Net.Ru
1. A remark on propositional Kripke frames sound for intuitionistic logic
Dmitrij Skvortsov
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 09:15   

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