|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2003 |
| 1. |
Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Труды МИАН, 242 (2003), 77–97    ; 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 |
3
|
|
1991 |
| 2. |
О. М. Аншаков, Д. П. Скворцов, В. К. Финн, “О логической конструкции ДСМ-метода автоматического
порождения гипотез”, Докл. АН СССР, 320:6 (1991), 1331–1336 ; O. M. Anshakov, D. P. Skvortsov, V. K. Finn, “On a logical construction of the JSM-method of automated
hypothesis generation”, Dokl. Math., 36:10 (1991), 674–676 |
|
1985 |
| 3. |
Д. П. Скворцов, “Об одном суперинтуиционистском исчислении высказываний”, Алгебра и логика, 24:2 (1985), 195–204 |
|
1979 |
| 4. |
Л. Л. Максимова, Д. П. Скворцов, В. Б. Шехтман, “Невозможность конечной аксиоматизации логики финитных задач Медведева”, Докл. АН СССР, 245:5 (1979), 1051–1054 |
3
|
| 5. |
Д. П. Скворцов, “Логика бесконечных задач и модели Крипке на атомных полурешетках множеств”, Докл. АН СССР, 245:4 (1979), 798–801 |
| 6. |
Д. П. Скворцов, “О реализуемости и финитной общезначимости пропозициональных формул с ограничениями на вхождения импликации”, Матем. заметки, 25:6 (1979), 919–931 ; D. P. Skvortsov, “Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication”, Math. Notes, 25:6 (1979), 474–481  |
|
1976 |
| 7. |
Д. П. Скворцов, “О вхождении импликации в финитно общезначимые интуиционистски недоказуемые формулы логики высказываний”, Матем. заметки, 20:3 (1976), 383–390 ; D. P. Skvortsov, “The occurrence of an implication in finitely valid, intuitively improvable formulas of propositional logic”, Math. Notes, 20:3 (1976), 771–775 |
|
Обратная связь: