Скворцов Дмитрий Павлович

Публикации в базе данных Math-Net.Ru

1. Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего
   
   Труды МИАН, 242 (2003),  77–97
2. О логической конструкции ДСМ-метода автоматического порождения гипотез
   
   Докл. АН СССР, 320:6 (1991),  1331–1336
3. Об одном суперинтуиционистском исчислении высказываний
   
   Алгебра и логика, 24:2 (1985),  195–204
4. Невозможность конечной аксиоматизации логики финитных задач Медведева
   
   Докл. АН СССР, 245:5 (1979),  1051–1054
5. Логика бесконечных задач и модели Крипке на атомных полурешетках множеств
   
   Докл. АН СССР, 245:4 (1979),  798–801
6. О реализуемости и финитной общезначимости пропозициональных формул с ограничениями на вхождения импликации
   
   Матем. заметки, 25:6 (1979),  919–931
7. О вхождении импликации в финитно общезначимые интуиционистски недоказуемые формулы логики высказываний
   
   Матем. заметки, 20:3 (1976),  383–390