Шрайнер Павел Александрович

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

1. Автоматическое распознавание интерполяции в модальных исчислениях
   
   Алгебра и логика, 46:1 (2007),  103–119
2. Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления
   
   Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  49–58
3. О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями
   
   Сиб. матем. журн., 41:2 (2000),  470–479
4. Промежуточная предикатная логика без свойств Бета
   
   Алгебра и логика, 37:1 (1998),  107–117
5. Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
   
   Алгебра и логика, 35:1 (1996),  105–117